2015-01-08から1日間の記事一覧
※このエントリには誤りが含まれています。「鎖\(C\)に属さない\(p\)が\(C\)の上界でない」ことから、「\(C\)は\(p\)より大きい要素を持つ」としてしまいました。実際には\(C\)が\(p\)と比較不能な要素を持つケースもあります。修正を検討中です。※反例があり…
※このエントリには誤りが含まれています。「鎖\(C\)に属さない\(p\)が\(C\)の上界でない」ことから、「\(C\)は\(p\)より大きい要素を持つ」としてしまいました。実際には\(C\)が\(p\)と比較不能な要素を持つケースもあります。修正を検討中です。※反例があり…