Алгебра (теория множеств)
Алгеброй множеств \mathfrak A в теории множеств называется непустая система подмножеств множества X, удовлетворяющая следующим условиям:
- \forall A, B \in \mathfrak A \Rightarrow A\cap B \in \mathfrak A, A \triangle B \in \mathfrak A (замкнутость относительно взятия пересечения и симметрической разности),
- В \mathfrak A имеется единица, то есть такое множество E, что для любого A \in \mathfrak A имеет место равенство A \cap E = A.
См. также
-
У этого термина существуют и другие значения, см. Алгебра (значения).