Building Sets
Let Φ(x) be a formula in which x appears free. Set builder notation has the form {x : Φ(x)} (or {x | Φ(x)} according to the international standard ISO 31-11 using the vertical bar instead of the colon), denoting the set of all individuals in the universe of discourse satisfying the formula Φ(x), that is, the set whose members are every individual y such that Φ(y) is true: formally, the extension of the predicate. Sometimes the universe of discourse is established within the notation; writing {x ∈ U : Φ(x)} establishes that the universe of discourse is U, for purposes of the set being built. Set builder notation binds the variable x and must be used with the same care applied to variables bound by quantifiers.
Examples (the universe of discourse can be taken to be the set of real numbers, where not specified inside the notation):
- is the set ,
- is the set of all positive real numbers.
- is the set of all even natural numbers,
- is the set of rational numbers; that is, numbers that can be written as the ratio of two integers.
- Thus, e.g., etc. (n.b.: in the case of sets, the order is not important; could be used). As an example,
The sign stands for and, requiring both conditions be fulfilled simultaneously. It is often replaced by a comma (,) semicolon (;) or written out as and. The sign denotes set membership, and can be read as "in". The sign stands for "there exists" and is formally known as Existential quantification.
Read more about this topic: Set-builder Notation
Famous quotes containing the words building and/or sets:
“Nowadays almost all man’s improvements, so called, as the building of houses and the cutting down of the forest and of all large trees, simply deform the landscape, and make it more and more tame and cheap.”
—Henry David Thoreau (1817–1862)
“Wilson adventured for the whole of the human race. Not as a servant, but as a champion. So pure was this motive, so unflecked with anything that his worst enemies could find, except the mildest and most excusable, a personal vanity, practically the minimum to be human, that in a sense his adventure is that of humanity itself. In Wilson, the whole of mankind breaks camp, sets out from home and wrestles with the universe and its gods.”
—William Bolitho (1890–1930)