Definition:Codomain of Relation