n (mathematics) A function that maps every element of a given set to a unique element of another set; a correspondence.