Zbiór $A$ nazywamy podzbiorem zbioru $B$ wtedy i tylko wtedy, gdy każdy element zbioru $A$ należy do zbioru $B$. Zapisujemy
to $A\subset B$ (czytamy: zbiór $A$ zawiera się
w zbiorze $B$ lub zbiór $A$ jest podzbiorem zbioru $B$).