- 181 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/09/14(土) 22:37:46.37 ID:QdZ5TU5n.net]
- >>164 文字化け訂正
∈｜ X := {?x; y? ∈ X × X | x ∈ y}
↓
∈｜ X := {(x; y?)∈ X × X | x ∈ y}
なお
（再度強調：「基礎公理により，すべての集合X に対して」ですよ（＾＾； ）
整礎的関係
R を集合X 上の二項関係とする．
基礎公理により，すべての集合X に対して，
∈｜ X := {(x; y?)∈ X × X | x ∈ y}
はX 上の整礎的な二項関係．
(引用終り)
