En virtud del Esquema Axiomático de Separación, este conjunto existe.