Definisi

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 , atau secara ekuivalen 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 subset
wajar ( proper subset atau strict subset ) dari B; ini ditulis:
atau secara ekuivalen B adalah superset wajar ( proper superset) dari A ; ini ditulis:
Untuk setiap himpunan S , relasi inklusi merupakan tatanan parsial pada himpunan
untuk semua subset dari S ( himpunan pangkat dari S ). Ketika dikuantifikasi, A B
ditulis:
x{xA xB}.
Simbol dan
Sejumlah pengarang menggunakan simbol dan untuk masing-masing
mengindikasikan "subset" dan "superset", bukan dengan simbol dan , tetapi
artinya sama. Misalnya, bagi para pengarang ini, adalah benar untuk setiap himpunan
A bahwa A A . Para pengarang lain lebih suka menggunakan simbol dan untuk
masing-masing mengindikasikan subset dan superset wajar, daripada dan . [3]
Penggunaan ini membuat dan analog dengan symbol ketidaksamaan dan <.
Misalnya, jika x y maka x dapat sama dengan y , atau tidak sama, tetapi jika x < y ,
maka x pasti tidak akan sama dengan y , dan pasti lebih kecil dari y . Ini mirip dengan
kaidah penggunaan sebagai "subset wajar", jika A B , maka A dapat sama atau
tidak sama dengan B, tetapi jika A B, maka A pasti tidak akan sama dengan B.