Se trata de una función o aplicación que toma dos elementos de dos conjuntos dados y los asigna a otro elemento, perteneciente a uno de los dos conjuntos.