Table of Contents - 2.3.8. Partial and total orderings
We have not yet defined relations (df-rel), but here we introduce a few
related notions we will use to develop ordinals. The class variable is
no different from other class variables, but it reminds us that typically it
represents what we will later call a "relation".