内包表記は数学が得意な人向け
集合論ではこう書く