Podzbiór

Zbiór $A$A jest podzbiorem zbioru $B$B, jeżeli każdy element zbioru $A$A jest elementem zbioru $B$B. Mówimy, że zbiór $A$A zawiera się w zbiorze $B$B i zapisujemy to:

Przeciwnie, zapis $A\not\subset B$A\not\subset B oznacza, że zbiór $A$A nie jest podzbiorem zbioru $B$B.