The lexicographical order on the Cartesian product of a set of totallyordered sets indexed by an ordinal, is itself a total order.
在用一个序数索引的那些全序集合的笛卡尔积的一个集合上的词典序自身是全序。
2
That can become decomposition partially orderedset into totallyordered subset by analyzing the characteristics of partially ordered relation construction on partially ordered set.