Podemos obtener el conjunto cuyos elementos son formula_15 de la siguiente manera: aplicamos el Axioma de Formación de Pares al par de conjuntos formula_16 y formula_16, de forma que obtenemos el conjunto formula_18.