Axiom:Axiom of Pairing

For any two sets, there exists a set to which only those two sets are elements:


 * $$\forall A: \forall B: \exists x: \forall y: \left({y \in x \iff y = A \or y = B}\right)$$

Thus it is possible to create a set containing any two sets that you have already created.

It is alternatively referred to as the Axiom of the Unordered Pair.

This can be deduced from the Axiom of Infinity and the Axiom of Replacement.