現代数学の系譜 工学物理雑談 古典ガロア理論も読む77

>>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 上の整礎的な二項関係．
(引用終り)