Aquella correspondencia en que a cada elemento del primer conjunto corresponde inequívocamente un elemento del segundo.