Кольцо множеств

Кольцо подмножеств множества

 * $$a,b,c$$ - множества,
 * $$c = \mathrm{PowerSet}(b)$$ - множество-степень,
 * $$a\subseteq c$$ - система множеств.

Система подмножеств $$a$$ множества $$b$$ — кольцо подмножеств (англ. ring of subsets, нем. Mengenring) множества $$b$$ или кратко кольцо множеств, если система множеств $$a$$ удовлетворяет следующим условиям: $$ \Upsilon(a,b,c) \ \stackrel{\mathrm{def}}{=} \ \begin{cases} {}^\neg(a = \varnothing)\\ \forall d \ \forall e \quad (d\in a \ \land \ e\in a) \Rightarrow (d\cup e)\in a\\ \forall d \ \forall e \quad (d\in a \ \land \ e\in a) \Rightarrow (d\setminus e)\in a\\ \end{cases} $$
 * система множеств $$a$$ непуста;
 * для любых двух элементов системы множеств $$a$$ объединение множеств $$d, e$$ принадлежит множеству $$a$$;
 * для любых двух элементов системы множеств $$a$$ разность множеств $$d, e$$ принадлежит множеству $$a$$:

Обозначим $$\Upsilon(a,b,c) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{Ring}(b)$$.

σ-кольцо подмножеств множества

 * $$a,b,c,d,e,f,g,h,i,j$$ - множества,
 * $$g = \Sigma(h,i,j)$$ - сигнатура,
 * $$h = \varnothing$$ - пустой алфавит отношений,
 * $$i = \{\, \mathfrak{0}, \mathfrak{s} \,\}$$ - алфавит операций,
 * $$j = \bigl\{\, \langle \mathfrak{0}, 0_\mathrm{N} \rangle, \langle \mathfrak{s}, 1_\mathrm{N} \rangle \,\bigr\}$$ - функция местности,
 * $$d = \mathrm{AlgStruct}(e,f,g)$$ - алгебраическая структура,
 * $$d\in \mathfrak{N}$$ - структура натуральных чисел,
 * $$e = \mathbb{N}$$ - множество натуральных чисел,
 * $$c = \mathrm{PowerSet}(b)$$ - множество-степень,
 * $$a\subseteq c$$ - система множеств.

Система подмножеств $$a$$ множества $$b$$ — σ-кольцо подмножеств (сигма-кольцо подмножеств) (англ. σ-ring of subsets, нем. σ-Mengenring) множества $$b$$ или кратко σ-кольцо множеств, если система множеств $$a$$ является кольцом подмножеств множества $$b$$ и для произвольной последовательности элементов системы множеств $$a$$ объединение элементов системы множеств $$a$$ по множеству натуральных чисел $$e$$ последовательностью $$k$$ принадлежит системе множеств $$a$$: $$ \Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ \begin{cases} a\in \mathrm{Ring}(b)\\ \forall k \quad k\in \mathrm{Sequence}_e(a) \Rightarrow \Bigl( \forall l \quad l = \bigcup\limits_k a \Rightarrow l\in a \Bigr)\\ \end{cases} $$

Обозначим $$\Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{\sigma Ring}(b)$$.