Podzbiór – pewna „część” danego
zbioru, czyli dla danego zbioru, nazywanego
nadzbiorem, zbiór składający się z pewnej liczby jego elementów, np. żadnego, jednego, wszystkich. Pierwszy przypadek nazywa się
podzbiorem pustym, drugi –
podzbiorem jednoelementowym lub
singletonem, trzeci –
podzbiorem niewłaściwym.