Definition:Field of Relation (Class Theory)