A field of definition of a variety V is a subfield L of kalg such that V is an L-variety defined over L.
A field of relevance for a variety V is a subfield L of kalg such that V is an L-type defined within L, providing context for its definition.