Nas matemáticas, o codominio ou contradominio é o conxunto final ou conxunto de chegada dunha función f : X → Y {\displaystyle f\colon X\to Y\,} ; é o conxunto Y {\displaystyle Y\,} que participa na función, e anótase como C o d f {\displaystyle Cod_{f}\,} , C f {\displaystyle C_{f}\,} ou c o d o m ( f ) {\displaystyle {\rm {{codom}(f)\,}}} .
Sexa I m f {\displaystyle Im_{f}\,} a imaxe dunha función f {\displaystyle f\,} , entón I m f ⊆ C f {\displaystyle Im_{f}\subseteq C_{f}} .