数学から来てたのかなと思ったおれ。
集合を表すのに{|x| x ∈ 自然数}とか書くじゃん。