Jabarkan Definisi dari Himpunan bagian

Jika A dan B adalah himpunan-himpunan dan setiap elemen dari A juga merupakan elemen dari B, maka:

A adalah subset atau himpunan bagian dari (atau termasuk ke dalam) B, dilambangkan dengan ,

B adalah superset atau superhimpunan dari (atau meliputi) A, dilambangkan dengan

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

A juga merupakan suatu himpunan bagian sejati (proper subset atau strict subset) dari B; ini ditulis: