パーシャリーオーダードセット（半順序集合）のチェイン（鎖）の定義
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、パーシャリーオーダードセット（半順序集合）の定義を知っている。
ターゲットコンテキスト
- 読者は、パーシャリーオーダードセット（半順序集合）のチェイン（鎖）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( S\): \(\in \{\text{ 全てのパーシャリーオーダードセット（半順序集合）たち }\}\)
\(*C\): \(\subseteq S\)
//
コンディションたち:
\(\forall c_1, c_2 \in C (c_1 \le c_2 \lor c_2 \lt c_1)\)
//
2: 注
任意のセット（集合）に対して、包含としてのオーダリング（順序）はあるパーシャルオーダリング（半順序）である、任意のセット（集合）でオーダリング（順序）を包含として持つものは、あるパーシャリーオーダードセット（半順序集合）であるという命題によって、そして、当該セット（集合）の"チェイン（鎖）"、オーダリング（順序）を指定されずに、は、当該包含オーダリング（順序）に関してのものである。
