Drafts

@cm3 の草稿置場 / 少々Wikiっぽく使っているので中身は適宜追記修正されます。

2022-03-22から1日間の記事一覧

前順序の場合に最大元は存在すれば極大元や上限になるか?

まず最大元の定義は、前順序とその部分集合 について以下。 に対して とする。g は P の最大元なので である。 一方で、極大元 の定義は以下である。 m を g に、y を b に読み替えるとこれを満たしていることが分かるので、前順序でも最大元は存在すれば必…