Relació binària matemàtica entre dos conjunts, única del primer al segon, però no necessàriament del segon al primer.
Lloc.
Terme de ciències de la computació.
Poder.