:: deftheorem defines penta_4 MUSIC_S1:def 73 :
for MS being MusicSpace
for frequency being Element of MS holds penta_4 (MS,frequency) = (pentatonic_pythagorean_scale (MS,frequency)) . 5;