codomìnio

sm. [co- (primo elemento composti)+dominio].

1) In algebra moderna, insieme dei valori di una funzione che fa corrispondere a elementi di un insieme A elementi di un insieme B. La funzione è detta di dominio A e codominio B.

2) In logica matematica, nella teoria delle relazioni, considerata la relazione xRy, dove, rispetto alla relazione R, x è il predecessore e y è il successore, diciamo che il codominio di R è dato dalla classe di tutti i successori. Nel caso di una relazione di identità allora il dominio e il codominio coincidono nella classe totale. Dominio e codominio sono, in generale, diversi, come, per esempio, se interpretiamo la relazione xRy come “x è l'animale di pezza preferito da y”.