Podemos aplicar el Esquema Axiomático de Separación a la propiedad "ser par ordenado", obteniendo el conjunto producto cartesiano formula_49.