Terence Taoさんの本には、

a ∈ X ⇒ a ∈ Y ∧ a ∈ Y ⇒ a ∈ X

が成り立つとき、

X = Y

と定義すると書いてあります。

これはどういうことでしょうか？