Definition:Ordered Class

Definition
Let $A$ be a class.

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

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