In matematica, funzione (in particolare di variabile complessa) che per ogni valore della variabile indipendente o delle variabili indipendenti assume un solo valore. Nella teoria delle funzioni analitiche, si dice m. il gruppo delle funzioni analitiche dai prolungamenti analitici coincidenti lungo cammini omotopi.