Set Definition by Predicate/Examples/Men

Example of Set Definition by Predicate
An example in natural language of a set definition by predicate is:
 * $S := \set {x: x \text { is a man} }$

Thus $S$ is the set which contains all men and only men.