s.f. (mat.) corrispondenza univoca tra due insiemi per cui a ogni elemento del secondo corrisponde almeno un elemento del primo.