Jabarkan atau secara ekuivalen dari Himpunan bagian

B adalah superhimpunan sejati (proper superset) dari A; ini ditulis:

Untuk setiap himpunan S, relasi inklusi ⊆ merupakan urutan parsial pada himpunan  untuk semua subset dari S (himpunan kuasa dari S).