The lexicographical order on the Cartesian product of a set of totally ordered sets indexed by an ordinal, is itself a total order.

• 在用一个序数索引的那些全序集合的笛卡尔积的一个集合上的词典序自身是全序。