Una funzione prende come argomento di un insieme chiamato dominio e ci restituisce un elemento di un sottoinsieme chiamato codominio
Una funzione è tale quando:
- Ogni elemento del dominio ha un elemento associato al codominio
- Nessun elemento del dominio ha più di un corrispondente nel codominio
Tipi di Funzioni
- Iniettiva: Quando elemento distinti del dominio sono associati con elementi distinti del codominio
- Suriettiva: Quando ogni elemento del codominio è associato ad almeno un elemento del dominio
- Biunivoca: Quando è contemporaneamente Iniettiva e Suriettiva, in questo caso la funzione è anche invertibile, quindi la sua funzione inversa prende come argomento un elemento del codominio e ce ne restituisce uno del dominio.