>>276 訂正

順序集合 (X, ?) は, すべての空でない部分集合が最小元をもつとき, 整列集
　↓
順序集合 (X, ≦) は, すべての空でない部分集合が最小元をもつとき, 整列集

文字化けしている
原文を見れば分かる話だが
なお、≦は本当は、ちょっと違う順序記号なのです
この板では、数学記号の多くが文字化けするのです（＾＾；

だけど、サルは無限列が理解できていないぞ
それでは、無限列車編が理解できないぞ、てへ ｗ（＾＾；

https://ja.wikipedia.org/wiki/%E5%8A%87%E5%A0%B4%E7%89%88_%E9%AC%BC%E6%BB%85%E3%81%AE%E5%88%83_%E7%84%A1%E9%99%90%E5%88%97%E8%BB%8A%E7%B7%A8
『劇場版「鬼滅の刃」無限列車編』（げきじょうばん きめつのやいば むげんれっしゃへん）は、2020年に公開された日本の長編アニメーション映画。現在、日本歴代興行収入第1位[1]。2020年の年間興行収入世界第1位[2]。