Los segundos argumentos de la relación formula_1 son llamados conjuntos, y los primeros argumentos son llamados elementos.