Alternative definition of a total order