A name for an optional argument used with map when creating a ring map.
See also:
Functions with optional argument named DegreeMap :