Definition:Domain of Relation