19/09/14 22:37:46.37 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 上の整礎的な二項関係.
(引用終り)