s.m. (mat.) tipo di corrispondenza tra due insiemi a e b , provvisti della stessa struttura algebrica, tale che a elementi distinti di a associa elementi distinti di b.