:: deftheorem Def10a defines satisfying_tonic MUSIC_S1:def 15 :
for S being MusicStruct holds
( S is satisfying_tonic iff for f1, f2, f3 being Element of S st the Ratio of S . (f1,f1) = the Ratio of S . (f2,f3) holds
f2 = f3 );