Definicja

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$).

Uwaga: Podzbiorem każdego zbioru jest zbiór pusty. Dodatkowo każdy zbiór jest swoim podzbiorem. Możemy zapisać: $\varnothing \subset A$ oraz $A\subset A$.