A symbol used as the name of an optional argument provided by the package Matroids.
The object CheckWellDefined is a symbol.