斎藤毅著『集合と位相』

この本で、斎藤さんは、

X ∩ Y := {x ∈ X | x ∈ Y}

などと定義しています。

なぜ、 X ∩ Y := {x | x ∈ X ∧ x ∈ Y} と書かなかったかというのを推測すると、 Subset Axiom を意識したのだと思います。

ですが、それを知らない読者はなぜ、 X ∩ Y := {x | x ∈ X ∧ x ∈ Y} と書かず、 X ∩ Y := {x ∈ X | x ∈ Y} と非対称で汚い形に書いているのだろうか？
と疑問に思うはずです。

こういうことは数学書の著者はよくやることだと思いますが、身勝手で良くないことですよね。