The
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.