:: deftheorem defines minor_third MUSIC_S1:def 38 :
for MS being satisfying_equiv satisfying_interval satisfying_Nat satisfying_harmonic_closed MusicStruct holds minor_third MS = Class ( the Equidistance of MS,[5,6]);