n. (Math.) A function such that for every element of one set there is a unique element of another set. Same as map{ 4 }. Syn. -- map, correspondence. [ WordNet 1.5 ]