Misalkan \(X\) sebarang himpunan. Kita mendefinisikan himpunan kuasa dari \(X\) sebagai himpunan semua himpunan bagian dari \(X\text{.}\) Himpunan kuasa dari \(X\) dinotasikan dengan \({\mathcal P}(X)\text{.}\) Sebagai contoh, misalkan \(X = \{ a, b, c \}\text{.}\) Maka \({\mathcal P}(X)\) merupakan himpunan semua himpunan bagian dari \(\{ a, b, c \}\text{:}\)

Pada himpunan kuasa dari sebarang himpunan \(X\text{,}\) inklusi himpunan, \(\subset\text{,}\) merupakan urutan parsial. Kita dapat merepresentasikan urutan pada \(\{ a, b, c \}\) secara skematis dengan diagram seperti pada Gambar 19.1.3.