Editing Algebra of sets (section)

== Fundamentals ==

The algebra of sets is the set-theoretic analogue of the algebra of numbers. Just as arithmetic [[addition]] and [[multiplication]] are [[associativity|associative]] and [[commutativity|commutative]], so are set union and intersection; just as the arithmetic relation "less than or equal" is [[Reflexive relation|reflexive]], [[Antisymmetric relation|antisymmetric]] and [[transitive relation|transitive]], so is the set relation of "subset".

It is the algebra of the set-theoretic operations of union, intersection and complementation, and the relations of equality and inclusion.  For a basic introduction to sets see the article on [[Set (mathematics)|sets]], for a fuller account see [[naive set theory]], and for a full rigorous [[axiom]]atic treatment see [[axiomatic set theory]].