axiom of union
For any there exists a set .
Notice that this means that is the set of elements of all elements of . More succinctly, the union of any set of sets is a set. By Extensionality, the set is unique. is called the union of .
In particular, the Axiom of Union, along with the Axiom of Pairing allows us to define
as well as the triple
and therefore the -tuple
|Title||axiom of union|
|Date of creation||2013-03-22 13:42:49|
|Last modified on||2013-03-22 13:42:49|
|Last modified by||Sabean (2546)|