19/03/19 08:47:49.40 EYNP5QFV.net
>>537
つづき
(>>397より)
・極小元を、x_minとする。∈を、等号（=）を含まない、不等号＜に書き換える
↓
・極小元を、x_minとする。∈は不等号＜と考えるが書き換えはなし
として、
下記で、y→y_minとして（>>397より）
URLﾘﾝｸ(blacaman.tripod.com)
An Introduction to Independence Proofs K KUNEN/キューネン First edition: 1980 Seventh impression: 1999 （藤田 博司 (翻訳)）
P100
§4. The Axiom of Foundation
AXIOM 2. Foundation.
∀x(∃y_min (y_min ∈x)→∃y_min (y_min ∈x ∧ ￢∃z(z∈x ∧ z∈y_min))).
Equivalently, if x ≠ 0, ∃y_min ∈ x (x ∩ y_min = 0),
（参考：x ∈ A ∩ B ←→ (x ∈ A) ∧ (x ∈ B) (3.2) (>>316 尾畑伸明)
z∈x ∧ z∈y_min ←→ z ∈ x ∩ y_min、
￢∃z(z∈x ∧ z∈y_min) → z＝0 つまり x ∩ y_min = 0）
or every non-empty set has an ∈-minimal element,
（補足）
・y_min ∈x で、y_minは極小元