21/05/22 09:59:38.77 hzsDhSSu.net
>>293
＞”任意の空でない A ⊂ X が最小元を持つ”
＞ことから「全順序」を示せる
示せねぇよ、🐎🦌ｗｗｗ
整礎関係
URLﾘﾝｸ(ja.wikipedia.org)
「集合あるいはクラス X 上の二項関係 R が整礎であるとは、
X の空でない任意の部分集合 S が R に関する極小元を持つことをいう。」
「全順序でない」整礎関係の例ｗｗｗｗｗｗｗ
・正整数全体 {1, 2, 3, ...} に a < b ⇔ [a は b を割り切る かつ a ≠ b] となる順序を入れたもの。
・固定された文字集合上の