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