Measure Theory/Advanced set theory

Structures of set theory

We begin by recalling the basic notions of set theory, which should be familiar to everybody:

Given a universal set $U$, the subsets of $U$ have the algebraic structure of a ring: