si y sólo si cumple con las siguientes condiciones:
1. Existencia: 
1. Unicidad: Si 
Esto significa que a cada elemento de A le corresponde por f un y sólo un elemento de B.Enciclopedia Universal. 2012.
si y sólo si cumple con las siguientes condiciones:
1. Existencia:
1. Unicidad: Si
Esto significa que a cada elemento de A le corresponde por f un y sólo un elemento de B.