:: deftheorem Def10 defines satisfying_harmonique_stable MUSIC_S1:def 21 :
for MS being satisfying_equiv satisfying_interval satisfying_Nat satisfying_harmonic_closed MusicStruct holds
( MS is satisfying_harmonique_stable iff for f1, f2 being Element of MS
for n, m being non zero Nat holds n -harmonique (MS,f1),m -harmonique (MS,f1) equiv n -harmonique (MS,f2),m -harmonique (MS,f2) );