Inkluzja (matematyka)
Z Wikipedii
Zasugerowano, aby ten artykuł (lub sekcję) zintegrować z artykułem Podzbiór. (dyskusja)
Inkluzja (zawieranie) zbiorów to relacja pomiędzy dwoma zbiorami polegająca na tym, że każdy element jednego zbioru jest jednocześnie elementem drugiego zbioru. O pierwszym z tych zbiorów mówi się, że zawiera się w drugim lub że jest jego podzbiorem, o drugim - że zawiera ten pierwszy lub że jest jego nadzbiorem.
Symbolicznie: 
[edytuj] Własności
Jest to więc relacja częściowego porządku.
(czasami dla podkreślenia, że dopuszcza się sytuację, w której zbiór A może być podzbiorem niewłaściwym zbioru B używa się zapisu: 
)
