Ring of sets

If X is any set, then the power set of X (the family of all subsets of X) forms a ring of sets in either sense.

If (X, ≤) is a partially ordered set, then its upper sets (the subsets of X with the additional property that if x belongs to an upper set U and x ≤ y, then y must also belong to U) are closed under both intersections and unions. However, in general it will not be closed under differences of sets.

The open sets and closed sets of any topological space are closed under both unions and intersections.[1]

On the real line ℝ, the family of sets consisting of the empty set and all finite unions of half-open intervals of the form (a, b], with a, b ∈ ℝ is a ring in the measure-theoretic sense.

If T is any transformation defined on a space, then the sets that are mapped into themselves by T are closed under both unions and intersections.[1]

If two rings of sets are both defined on the same elements, then the sets that belong to both rings themselves form a ring of sets.[1]

A ring of sets in the order-theoretic sense forms a distributive lattice in which the intersection and union operations correspond to the lattice's meet and join operations, respectively. Conversely, every distributive lattice is isomorphic to a ring of sets; in the case of finite distributive lattices, this is Birkhoff's representation theorem and the sets may be taken as the lower sets of a partially ordered set.[1]

A family of sets closed under union and relative complement is also closed under symmetric difference and intersection. Conversely, every family of sets closed under both symmetric difference and intersection is also closed under union and relative complement. This is due to the identities

1. ${\displaystyle A\cup B=(A\,\triangle \,B)\,\triangle \,(A\cap B)}$ and
2. ${\displaystyle A\setminus B=A\,\triangle \,(A\cap B).}$

Symmetric difference and intersection together give a ring in the measure-theoretic sense the structure of a boolean ring.

In the measure-theoretic sense, a σ-ring is a ring closed under countable unions, and a δ-ring is a ring closed under countable intersections. Explicitly, a σ-ring over X is a set ${\displaystyle {\mathcal {F}}}$ such that for any sequence ${\displaystyle \{A_{k}\}_{k=1}^{\infty }\subseteq {\mathcal {F}}}$, we have ${\displaystyle \cup _{k=1}^{\infty }A_{k}\in {\mathcal {F}}}$.

Given a set X, a field of sets - also called an algebra over X - is a ring that contains X. This definition entails that an algebra is closed under absolute complement ${\displaystyle A^{c}=X\setminus A}$. A σ-algebra is an algebra that is also closed under countable unions, or equivalently a σ-ring that contains X. In fact, by de Morgan's laws, a δ-ring that contains X is necessarily a σ-algebra as well. Fields of sets, and especially σ-algebras, are central to the modern theory of probability and the definition of measures.

A semi-ring (of sets) is a family of sets ${\displaystyle {\mathcal {S}}}$ with the properties

1. ${\displaystyle \emptyset \in {\mathcal {S}},}$
2. ${\displaystyle A,B\in {\mathcal {S}}}$ implies ${\displaystyle A\cap B\in {\mathcal {S}},}$ and
3. ${\displaystyle A,B\in {\mathcal {S}}}$ implies ${\displaystyle A\setminus B=\bigcup _{i=1}^{n}C_{i}}$ for some disjoint ${\displaystyle C_{1},\dots ,C_{n}\in {\mathcal {S}}.}$

Clearly, every ring (in the measure theory sense) is a semi-ring.

A semi-field of subsets of X is a semi-ring that contains X.

• Algebra of sets
• δ-ring
• Field of sets
• λ-system (Dynkin system)
• π-system
• σ-algebra
• σ-ring

• Ring of sets at Encyclopedia of Mathematics