1679
правок
Изменения
Нет описания правки
Пусть <tex> X </tex> — некоторое множество, <tex> \mathcal R </tex> — совокупность его подмножеств (не обязательно всех). Пара <tex> (X, \mathcal R) </tex> называется '''полукольцом''', если:
# <tex> \varnothing \in \mathcal R </tex>
# <tex> A, B \in \mathcal R \Rightarrow A \cap B \in \mathcal R </tex>(замкнутость относительно пересечения)# <tex> A \cup B, A, B \in \mathcal R , A \subset B \Rightarrow \exists D_1 \dots D_n \in 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> (далее просто будем говорить, что эти множества дизъюнктны).
}}
