>>398
> A{A, x|x≠Φ, x¬∈x}
意味不明、特に「x¬∈x」