条件で表す集合（内包的記法）
set-builder notation
英語ではこう読む
- the set of all x such that x is greater than zero 標準
注意
- {x | x > 0} は the set of all x such that x is greater than zero と読む。縦線は such that。
- Levin（5.1）は {x : x > 2} のようにコロンで書き、コロンも such that と読む（縦棒 | を使うこともあると断る）。