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 := \text {$x$: $x$ is a man}$

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