Es una relación que se establece entre dos conjuntos, a través de la cual a cada elemento del primer conjunto se le asigna un único elemento del segundo conjunto o ninguno. Al conjunto inicial o conjunto de partida también se lo llama dominio; al conjunto final o conjunto de llegada, en tanto, se lo puede denominar codominio.