¿Cuándo a cada elemento del dominio le corresponde un elemento único del Contradominio decimos que es una?