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.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): abstraction: 1.
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): abstraction: 1.