Para todo a de A, se cumple que existe un único b de B, tal que b es el resultado R(a).