Himpunan bagian

Jika "A" dan "B" adalah himpunan-himpunan dan setiap elemen dari "A" juga merupakan elemen dari "B", maka:
Jika "A" adalah sebuah subset dari "B", tetapi "A" tidak sama dengan "B" (yaitu ada paling sedikit satu elemen B yang bukan elemen dari "A"), maka