s.f. (mat.) corrispondenza secondo cui a ogni elemento di un insieme corrisponde uno e un solo elemento di un altro insieme e viceversa.