Si aceptamos que todo es un conjunto, entonces los primeros y segundos argumentos de formula_1 pertenecen al mismo dominio.