2 Każdy zbiór zawiera się w sumie powstałej z niego i dowolnego zbioru
Zc(Z^Y)
3 Dla dowolnych trzech zbiorów suma pierwszego i suma drugiego oraz suma trzeciego jest identyczna z sumą powstałą z sumy 1 i 2 oraz 3 z nich.
Zu( Y uX)=(ZuY) uX
4 Jeśli pierwszy zbiór zawiera się w trzecim i drugi zawiera się w trzecim to suma pierwszego i drugiego zbioru zawiera się w trzecim
5 Iloczyn dwóch dowolnych zbiorów zawiera się w pierwszym z nich
(ZnY)cZ
6 Iloczyn 1 oraz iloczyn 2 i 3 zbioru jest identyczny z iloczynem powstałym iloczynu 1 i 2 oraz 3 zbioru.
Zn(YnX) = (ZoY) nX
7 Dla dowolnych trzech zbiorów jeśli pierwszy z nich zawiera się w drugim i pierwszy zawiera się w trzecim to pierwszy zawiera się w iloczynie drugiego zbioru z trzecim.
8 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.
Zn(YuX)=(ZnY) u(ZnX)
9 Dla dowolnych trzech zbiorów suma pierwszego oraz iloczynu drugiego i trzeciego z nich jest identyczna z iloczynem sumy pierwszego i drugiego z nich oraz sumy pierwszego i trzeciego z nich.
Zu(YnX)=(Z^Y)n(Z^X)