Tanım: Bir kümenin bazı elemanlarından oluşan küme. Örneğin {a,b} kümesi, {a,b,c,d} kümesinin bir alt kümesidir. Boş küme ve kümenin kendisi de bir kümenin alt kümesidir
Tanım: Bir kümenin başka bir kümenin tüm elemanlarını içermesi durumu. Örneğin {a,b,c,d} kümesi {a,d} kümesini kapsar
Tanım: Bir kümenin kendisi hariç diğer alt kümelerine verilen isim. Bir kümenin kendisi de kendisinin alt kümesidir.