Teorema sederhana dalam aljabar himpunan