Reglas matemáticas entre dos conjuntos que asignan a cada miembro del primer conjunto exactamente un miembro del segundo.