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