totally ordered
<
mathematics
> Having a
total ordering
.
(10 Jan 1997)