Set-builder notation specifies a set by a property satisfied by its elements. The expression
 |
denotes the subset of 
consisting of precisely those 
for which the predicate 
is true. The restriction 
supplies an ambient set and avoids
treating an unrestricted condition as though it automatically defined a set.
A vertical bar is also commonly used in place of the colon between an element and
its condition.
