Twierdzenie.
Dla dowolnych podzbiorów przestrzeni X zachodzą związki:
l.XDA = A.
2. X U A = X.
3. X = 0.
4.0 = X
5. (4) = >1. ójcfiofici