Definition:Codomain (Relation Theory)