The lexicographical order on the Cartesian product of a set of totally ordered sets indexed by an ordinal, is itself a total order.
在用一个序数索引的那些全序集合的笛卡尔积的一个集合上的词典序自身是全序。
Shunzhi years (1655), 1000 total Xigu Gosho and-order state, the state set up the same.
顺治十二年(1655)，西固御所千总并阶州，设州同。
Shunzhi years (1655), 1000 total Xigu Gosho and-order state, the state set up the same.
顺治十二年(1655)，西固御所千总并阶州，设州同。
应用推荐