>>476
＞自分が求めているのは、「このアルゴリズムによってハ長調だと判定
＞された曲のことをハ長調の曲と定義する」などとそれ自身、調の定義

外延と内包を同じ形式で書こうとしても無理。以下、導音の定義の例。
主音の半音下の音が導音（→内包的定義）
Cの半音下の音が導音（→意味をなさない）

Cが主音なら（ハ長調なら）Bが導音、Dbが主音ならCが導音・・・（→外延的定義）
主音が主音なら（主音長調なら）導音が導音（→意味をなさない）