In mathematics, a total order or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation on some set, which satisfies the following for all and in:
.
If and then.
If and then.
or.
Wikipedia