En ninguno de sus pares ordenados de repite la primera componente
cada uno de los elementos del conjunto A esta relacionado con uno y solamente uno de los elementos del conjunto B
∀x ∈ A ∃! y ∈B / (x,y) ∈ A×B