Del axioma de pares se tiene, a partir de dos conjuntos formula_6 e formula_15, el conjunto {formula_69formula_18}.