メンバーシップによるパーシャルオーダリング（部分的順序）を持つトランジティブセット（推移的集合）に対して、要素はそれへのイニシャルセグメントであることの記述/証明
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、トランジティブセット（推移的集合）の定義を知っている。
- 読者は、セット（集合）の要素へのイニシャルセグメントの定義を知っている。
ターゲットコンテキスト
- 読者は、任意のトランジティブセット（推移的集合）でメンバーシップによる少なくともパーシャルであるオーダリング（順序）を持つもの（メンバーシップによるオーダリング（順序）が実際にパーシャルオーダリング（部分的順序）だと仮定して）に対して、任意の要素はそれへのイニシャルセグメントであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のトランジティブセット（推移的集合）\(S\)でメンバーシップによる少なくともパーシャルであるオーダリング（順序）を持つもの（メンバーシップによるオーダリング（順序）が実際にパーシャルオーダリング（部分的順序）だと仮定して）に対して、任意の要素\(p \in S\)は\(p\)へのイニシャルセグメント\(seg \text{ }p\)である、つまり、\(p = seg \text{ }p\)。
2: 証明
\(seg \text{ }p\)の任意の要素\(p' \in seg \text{ }p\)に対して、\(p' \in p\)、なぜなら、\(p' \lt p\)であるのは、もしも、\(p' \in S\)および\(p' \in p\)である場合、そしてその場合に限ってである、メンバーシップによるオーダリング（順序）の定義によって。\(p\)の任意の要素\(p' \in p\)に対して、\(p' \in seg \text{ }p\)、なぜなら、\(p' \in S\)、\(S\)はトランジティブセット（推移的集合）であるから。したがって、\(p' \lt p\)。
