Алгебра множеств: различия между версиями

 

Семейство <math>\mathfrak{A} \subset 2^{X}</math> подмножеств [[Множество|множества]] <math>X</math> называется алгеброй, если оно удовлетворяет следующим свойствам:

# Если <math>A\in \mathfrak{A}</math>, то и его [[Операции над множествами|дополнение]] <math>X\setminus A\in\mathfrak{A}.</math>

# [[Операции над множествами|Объединение]] двух множеств <math>A,B\in \mathfrak{A}</math> также принадлежит <math>\mathfrak{A}.</math>