zbiory ale od początku

zbiór w sensie kolektywnym

jest to pewna całość składająca się z przedmiotów będących jej częściami. Zbiór w sensie kolektywnym sam jest swoją - dodajmy, że najobszerniejszą - częścią.

zbiór w sensie dystrybutywnym

jest to zespół pewnych obiektów wyróżnionych w określony sposób. Zbiory w sensie dystrybutywnym są niepostrzegalne i żaden zbiór w sensie dystrybutywnym nie jest też swoim elementem.

elementy

są to obiekty należące do danego zbioru w sensie dystrybutywnym

teoria mnogości (teoria zbiorów)

dział szeroko pojętej logiki zajmujący się badaniem zbiorów.

zbiór pusty

jest to zbiór nie posiadający żadnego elementu.

zbiór jednoelementowy

jest to zbiór który ma tylko jeden element.

zbiór dwuelementowy

jest to zbiór który ma tylko dwa elementy.

zbiór skończony

jest to zbiór posiadający skończoną liczbę elementów.

zbiór pełny danej nauki (jej uniwersum)

jest to zbiór wszystkich przedmiotów badanych przez tę naukę. Zbiór ten oznaczamy symbolami "1" lub "U".

rodzina zbiorów

jest to zbiór, którego wszystkie elementy są zbiorami.

dwa zbiory są identyczne

wtedy, gdy mają te same elementy.

jeden zbiór zawiera się w drugim

wtedy i tylko wtedy, gdy każdy element pierwszego jest też elementem drugiego.

dwa zbiory krzyżują się

wtedy i tylko wtedy, gdy istnieje taki obiekt, który jest elementem każdego z tych zbiorów

-

i istnieje taki obiekt, który jest elementem pierwszego, a nie jest elementem drugiego zbioru

-

i istnieje taki obiekt, który nie jest elementem pierwszego, ale jest elementem drugiego zbioru.

dwa zbiory wykluczają się

wtedy i tylko wtedy, gdy nie mają one wspólnych elementów.

suma dwóch zbiorów

dany obiekt jest elementem sumy dwóch zbiorów wtedy, gdy jest elementem chociaż jednego z tych zbiorów.

-

Zatem suma dwóch zbiorów też jest zbiorem, a jej elementami są elementy zbiorów sumę tę tworzących