Definizione di funzione (o applicazione) – f: A → B
Dati due insiemi A, B non vuoti si chiama funzione di A in B (f: A → B) una legge, di qualunque natura, che fa corrispondere ad ogni elemento di A uno ed uno solo elemento di B.
L’insieme A viene chiamato dominio (o campo di esistenza o insieme di definizione) della funzione. L’insieme B viene chiamato codominio della funzione.
In generale se f indica una generica legge, si scrive y = f(x) (si legge y è uguale a effe di x)