CheckWellDefined -- an optional argument

Functions with optional argument named CheckWellDefined:

• relaxation(...,CheckWellDefined=>...)
• elementaryQuotient(...,CheckWellDefined=>...) -- check whether the list is a modular cut or linear subclass
• extension(...,CheckWellDefined=>...) -- check whether the list is a modular cut or linear subclass
• linearSubclass(...,CheckWellDefined=>...) -- check whether the list is a modular cut
• modularCut(...,CheckWellDefined=>...) -- check whether the list is a linear subclass