If A and B are each totally ordered, then the result is a total order as well.
如果A和B是全序, 那么结果也是全序。