VariableOrder -- an option used when creating a monoid.
Not implemented yet.
See also:
Functions with optional argument named VariableOrder :