Definition:Totally Ordered Class

Definition
Let $A$ be a class.

Let $\preccurlyeq$ be an total ordering on $A$.

Then the relational structure $\struct {A, \preccurlyeq}$ is known as a totally ordered class.

Also known as
A totally ordered class is also called a simply ordered class or linearly ordered class.