X を空集合とする。
x ∈ X とする。

Aさんは次のように考えました。
X は空集合なのだから、 y ∈ X をみたす y は存在しないから、
{y ∈ X : y ～ x} = 空集合
である。

Aさんの主張はどこが間違っているのでしょうか？