Bir kümenin tüm alt kümelerinin sayısını ve belirli sayıda eleman içeren alt kümelerinin sayısını hesaplama. Bir B kümesinde bulunan her eleman aynı zamanda A kümesinin de elemanı ise B kümesi A kümesinin alt kümesidir denir ve B  A* ifadesi ile gösterilir. a F  a Ç  F  Ç ***Ya da Ç  F şeklinde yazılabilir.Bir kümenin kendisinden başka her altkümesine öz alt küme denir. Boş küme, Ç kümesinin alt kümesidir Ç şeklinde gösterilir. A, B herhangi iki küme olsun. B A  A B*  AB**