totally ordered set

A set with a total ordering.