Así, puede decirse que los primeros argumentos de la relación formula_4 pertenecen al universo de los elementos, mientras que los segundos argumentos de esta misma relación pertenecen al universo de los conjuntos.