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