>>379
R⊆A×AがA上well-foundedというのは、 X = A だけでなくて
　「任意のX⊆Aに対して」　X≠Ø → ∃y¬∃z (zRy)
となることだし、リンク先文章でも
　∈関係を x∪P(x)∪PP(x)∪......... に制限したものの
　「任意の部分集合が」∈極小元をもつ　　　　　　　　　*
となってるから379が言っている点については問題ない気がする。

aの部分集合の部分集合はaの部分集合なので、
部分集合を取る操作に対して閉じてなきゃいけない。
xが満たすならyも満たさないといけない。逆にyがダメならx⊃yもダメ。