Definition:Domain of General Relation