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