Salta a la vista la dificultad que encierra el manejo de tantas variables y sus cuantificadores; por eso simplificamos la consideración a relaciones binarias.