MathLiveSet-builder notation
Describes the set of all elements x of a domain A that satisfy the predicate P(x). It is the standard way to define a subset by stating the property its members must have.
\{ x \in A \mid P(x) \}What the symbols mean
| a generic element of the set being defined | |
| the domain of discourse, the set from which elements are drawn | |
| the membership relation, read as 'is an element of' | |
| a predicate, a property that x either satisfies or does not | |
| read as 'such that' |
About this formula
- FieldMathematics
- TopicSet theory
- LevelHigh school
- Also calledset comprehension, set builder, defining a set by a property, set-builder form, set specification by predicate
- SourceWikidata Q3352804
Write it in Obsidian
MathLive is a free visual math editor for Obsidian. Run Find a formula, type “set-builder notation”, and it goes into your note as editable LaTeX. You can also scan formulas from screenshots, PDFs and handwriting.