1302
правки
Изменения
м
→Полукольцо
# <tex> \varnothing \in \mathcal R </tex>
# <tex> A, B \in \mathcal R \Rightarrow A \cap B \in \mathcal R </tex> (замкнутость относительно пересечения)
# <tex> A, B \in \mathcal R, A \subset B \Rightarrow \exists D_1, \ldots, D_n, \ldots \in \mathcal R: B \setminus A = \bigcup\limits_n D_n, D_n \in \mathcal R, D_i \cap D_j = \varnothing </tex> для <tex> i \ne j </tex> (далее просто будем говорить, что эти множества дизъюнктны).
}}
