In matematica, data una funzione f: A \to B, l’insieme B è chiamato codominio (o insieme di arrivo) della funzione.
Rappresenta il “tipo” di oggetti che la funzione è in grado di restituire, ed è parte integrante della definizione stessa della funzione. Ad esempio, per una funzione a valori reali, il codominio è l’intero insieme dei numeri reali \mathbb{R}.
È fondamentale distinguere il codominio dall’immagine della funzione: l’immagine è il sottoinsieme del codominio costituito dai valori effettivamente assunti dalla funzione. Se l’immagine coincide esattamente con l’intero codominio, la funzione è detta suriettiva.
Significato Ingegneristico
In ingegneria dei sistemi e informatica, il codominio definisce il tipo di dato in uscita o la grandezza fisica (es. tensione in Volt, temperatura in Kelvin) che un modello matematico, un algoritmo o un sensore è progettato per restituire teoricamente, indipendentemente dai limiti fisici di saturazione.
Vedi anche: Immagine (Funzione).