Изменения

Из данных аксиом следует, что <tex> X = \overline \varnothing \in \mathcal A </tex> и <tex> B \cup C = \overline {\overline B \cap \overline C} \in \mathcal A </tex>, поэтому алгебра замкнута относительно любых конечных теоретико-множественных операций.

Cигма-алгебры являются частным случаем обычных алгебр, которые, в свою очередь, являются частным случаем полуколец: <tex> A \subset B, B \setminus A = B \cap \overline A \in \mathcal{A} </tex>