集合 が推移的(transitive)であるとは, の要素が の部分集合になること. 例えば, に対し, かつ です. このような集合は普通の数学では普通は現れませんが, 集合論では大活躍することになります. 推移的であることを次のように言い換えることもできます. なら…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。