推移的集合
$ \forall x\forall y:y\in x\in X\implies y\in Xを満たす集合$ Xのこと
このとき$ Xは推移的であるという
推移律と似たような式になっている
同値な条件
$ \forall x\in X: x\subseteq X
$ X\subseteq 2^X
References
「集合・写像・数の体系　数学リテラシーとして」の草稿 第14章 順序数
https://ja.wikipedia.org/wiki/推移的集合
#2025-07-31 12:25:44
#2025-07-20 18:10:04