Definition:Domain of Relation (Class Theory)