全序

total order, complete ordering