totally ordered set

<mathematics> A set with a total ordering.