Definisi Himpunan A dikatakan himpunan bagian dari himpunan B jika dan hanya jika setiap elemen A merupakan elemen dari B. dalam hal ini, B dikatan superset dari A. dilambangkan dengan A ⊆ B. Jika tidak