Свойства операций над множествами

а) идемпотентность

X Ç X = X,

X È X = X;

б) коммутативность

X Ç Y = Y Ç X,

X È Y = Y È X;

в) ассоциативность

(X Ç Y) Ç Z = X Ç (Y Ç Z),

(X È Y) È Z = X È (Y È Z);

г) дистрибутивность

X Ç (Y È Z) = (X Ç Y) È (X Ç Z),

X È (Y Ç Z) = (X È Y) Ç (X È Z);

д) принцип двойственности (закон де Моргана)

X È Y =`X Ç`Y,

X Ç Y =`X È`Y.