himpunan_sigma
