computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム 整列可能定理(6) 『集合論入門 (ちくま学芸文庫)』を見ていきます。 整列集合 (『集合論入門 (ちくま学芸文庫)』pp.148 - 157)順序集合は、その空ならざるいかなる部分集合も最初の元をもつとき、整列集合であるという。空(順序)集合 は、便宜上整列集合の特別の場合であると考える。整列集合の、空ならざる部分集合 B の最初の元を と書く。 (a) 整列集合の部分集合は、また整列集合である。 [証明] を整列集合、 とします。 は全順序集合となります。 、 とすると となるので は最小元を持ちます。 よって は整列集合となります。 (b) 整列集合に同型な順序集合は、また整列集合である… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F08%2F26%2F205450" title="証明路開発支援システム(27) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51UjYbXqIzL._SL500_.jpg Hatena Blog https://hatena.blog 2026-08-26 20:54:50 rich https://computeralgebra.hatenablog.com/entry/2026/08/26/205450 1.0 100%