Vulgarmente: todos los elementos del conjunto origen tienen flecha y sólo una