28924

18.    Różnice dwóch zbiorów - obiekt jest elementem różnicy między jednym zbiorem, a drugim zbiorem wtedy, gdy jest elementem pierwszego zbioru, a nie jest elementem drugiego zbioru.

19.    Dopełnienie zbioru - dany obiekt jest elementem dopełnienia zbioru Z wtedy, gdy jest on elementem zbioru pełnego U, a nie jest elementem zbioru Z.

TWIERDZENIA RACHUNKU ZBIORÓW

Głosi ono, że dla dowolnych trzech zbiorów jeśli pierwszy z nich zawiera się w drugim, a drugi zawiera się w trzecim, to pierwszy zbiór też zawiera się w trzecim.

Głosi ono, że każdy zbiór zawiera się w sumie powstałej z niego i dowolnego innego zbioru.

Głosi ono, że dla dowolnych trzech zbiorów, suma pierwszego i sumy drugiego oraz trzeciego z nich jest identyczna z sumą powstałą z sumy pierwszego i drugiego oraz trzeciego z nich. Twierdzenie to wskazuje, że kolejność operacji sumowania wielu zbiorów jest nieistotna.

Głosi ono, że dla dowolnych trzech zbiorów, jeśli pierwszy z nich zawiera się w trzecim i drugi zawiera się w trzecim, to i suma pierwszego oraz drugiego zbioru zawiera się w trzecim.

Głosi ono, że iloczyn dowolnych dwóch zbiorów zawiera się w pierwszym z nich, dodajmy, że zawiera się także w drugim z nich.

Głosi ono, że dla dowolnych trzech zbiorów iloczyn pierwszego oraz iloczyn drugiego i trzeciego z nich jest identyczny z iloczynem powstałym z iloczynu pierwszego i drugiego z nich oraz trzeciego zbioru. Wskazuje to, że kolejność operacji tworzenia iloczynu wielu zbiorów jest nieistotna.

Głosi ono, że dla dowolnych trzech zbiorów jeśli pierwszy z nich zawiera się w drugim i pierwszy zawiera się w trzecim, to pierwszy zawiera się też w iloczynie drugiego zbioru z trzecim.

Głosi ono, że dla dowolnych trzech zbiorów iloczyn pierwszego oraz sumy drugiego i trzeciego z nich jest identyczny z sumą iloczynu pierwszego i drugiego z nich oraz iloczynu pierwszego i trzeciego z nich.

Głosi ono, że dla dowolnych trzech zbiorów suma pierwszego oraz iloczyn drugiego i trzeciego z nich jest identyczna z iloczynem sumy pierwszego i drugiego z nich oraz sumy pierwszego i trzeciego z nich.