Twierdzenie.
Dla dowolnego podzbioru zachodzą związki :
1. A UA=X,
2. A n A = 0,
3. (A n A) jj X,
4. (A U A) = 0.
A przestrzeni X