Definition:Codomain


 * The concept of codomain in set theory, in the context of mappings and relations


 * The concept of codomain in category theory.