全序集合 X 的任何子集对于 X 上的顺序的限制是全序的

问题描述

我确实理解全序集合的每个子集都必须是全序，因为全序集合中的每个 a、b 都遵循 aRb 或 bRa。 我不明白“为了限制X上的顺序”这句话是什么意思？谁能解释一下。

解决方法

集合 interface FooBlue extends Foo<MyEnum.blue> { } // okay const e: FooBlue = { someProp: true,blue: new Date() } 中的 order 是 X 的元素之间的关系，这是 X 的子集满足阶（或全阶等）公理的笛卡尔积 R。

如果 X × X 是 Y 的子集，则 X 上订单的 限制 Y 是交集 {{1}关系 X 与子集 R ∩ Y×Y 的 }。

换句话说，是相同的顺序，但仅限于子集R。