Podzbiór to zbiór zawarty w innym zbiorze. Jeśli zbiór A = {1, 2} i zbiór B = {1, 2, 3, 4}, to A jest podzbiorem zbioru B. Każdy zbiór jest podzbiorem samego siebie. Zbiór pusty jest podzbiorem każdego zbioru.

Podzbiór właściwy to podzbiór, który nie jest równy zbiorowi pierwotnemu. A ma 2 elementy; B ma 4. Ponieważ A ≠ B, A jest podzbiorem właściwym zbioru B. Liczba podzbiorów zbioru n-elementowego wynosi 2^n.

Podzbiory występują w teorii mnogości, logice i informatyce. W rachunku prawdopodobieństwa zdarzenia są podzbiorami przestrzeni prób. W bazach danych zapytania wybierają podzbiory rekordów. Koncepcja jest prosta, ale stanowi fundament współczesnej matematyki.

• Zestaw zawarty w innym zestawie
• Każdy zbiór jest podzbiorem samego siebie
• Zbiór pusty jest podzbiorem każdego zbioru
• Liczba podzbiorów wynosi 2^n