689
правок
Изменения
м
То, что эта структура является полукольцом - тривиальный факт и проверяется непосредственно. Проблемы будут с мерой на этом полукольце.
Простой пример полукольца: <tex> X = \mathbb R, \mathcal R = \{\ [a; b) | a, b \in \mathbb R, a \le b\ \} </tex>.
Элементы этого полукольца называются '''ячейками'''. На самом деле то, что эта структура является полукольцом, — нетривиальный факт, и мы докажем его позже.
Докажем теперь пару полезных утверждений для полуколец.
