Category of ordered sets
Cat::OrderedSet represents the category of ordered sets.
An Cat::OrderedSet is a set with a (complete) order relation < (_less).
An implementation is provided if this domain has axiom Ax::canonicalOrder.
The implementation provided uses the methods "_less" and "equal".