Algebra of sets,
not to be confused with the mathematical structure of an algebra of sets,
defines the properties and laws of sets, the set-theoretic operations of union,
intersection, and complementation and the relations of set equality and set inclusion.
It also provides systematic procedures for evaluating expressions, and
performing calculations, involving these operations and relations.
Any set of sets closed under the set-theoretic operations forms
a Boolean algebra with the join operator being union,
the meet operator being intersection, the complement operator being set complement,
the bottom being the empty set and
the top being the universe set under consideration.
|