Mathematical logic and foundations Concept
Set-builder notation
Summary
Set-builder notation describes a set by a property of its elements. For a set and a predicate on , the set has as elements exactly the such that is true.
Remarks
A colon is a common alternative to the bar: . Example: is the set of even integers. The form denotes the set of the values . This is the image of under . Without the bound , the notation can lead to Russell's paradox.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Element definition
- Proposition concept
- Set definition
- Predicate definition
- Set-builder notation concept
Where this leads
63 pages build on this one.
- A finite group is nilpotent iff it is the product of its Sylow subgroups
- Equivalence classes form a partition
- Torus
- Möbius strip
- Groups of prime order are cyclic
- Correspondence between equivalence relations and partitions
- Equivalence class
- Order of an element divides the order of the group
- Fixed points of a p-group action
- Second Sylow theorem
- Groups of order p squared are abelian
- The number of Sylow subgroups is the index of the normaliser
- Universal property of the quotient topology
- The alternating group A5 is simple
- Abelian simple groups have prime order
- Cauchy's theorem
- The number of Sylow subgroups divides the index
- Converse of Lagrange's theorem fails for the alternating group A4
- Third Sylow theorem
- Frattini argument
- Size of an orbit times the size of the stabiliser
- Quotient topology
- First Sylow theorem
- Circle as a quotient of the real line
- Groups of order pq
- Burnside's lemma
- g to the order of the group is the identity
- Quotient set
- Relative CW complex
- Translation surface
- Discrete series representation
- Classification of surfaces
- Lagrange's theorem
- Oscillator representation
- Kolmogorov–Arnold–Moser theorem
- Galois group of a prime degree polynomial with two nonreal roots
- Lp space
- Nichols–Zoeller theorem
- Standard map
- Hall's theorem on solvable groups
- Proof that the order of an element divides the order of the group
- Arnold's cat map
- Integral operator
- Hall subgroup
- Sylow theorems
- Frattini subgroup
- Proof that groups of prime order are cyclic
- Action-angle coordinates
- Sinai billiard
- Milnor's isospectral flat tori
- Orbifold
- Torus knot
- Orientation of a manifold
- Real projective plane
- Liouville–Arnold theorem
- Proof of Lagrange's theorem
- Pseudo-Anosov map
- Geometric realization
- Torus as a group
- Bunimovich stadium
- Maximal torus
- Symmetric and self-reciprocal kernels
- Stone–von Neumann theorem
Further reading
- Web https://en.wikipedia.org/wiki/Set-builder_notation, lead section
About this page
| Tag | 0TMZ89Q5KA |
|---|---|
| URI | m2://0TMZ89Q5KA |
| Aliases | set-comprehension |
| Kind | concept |
| Writing | W0 stub |
| MSC | 03E20 |
| Uses | Set, Predicate |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.