Musical set theory