Category:Definitions/Codomains (Relation Theory)