Teori himpunan musik