Math 2.0

Concept

b:b

Summary

Set-builder notation: if P(x)P(x) is a predicate depending on a variable xx, then both {x:P(x)}\{x : P(x)\} and {x∣P(x)}\{x\mid P(x)\} denote the set formed by the values of xx for which P(x)P(x) is true.

Further reading

  1. Wikipedia, page 73634, revision 1376316324, Glossary of mathematical symbols, section Brackets > Braces. adopted
About this page
TagFKEXVEYPNK
URIm2://FKEXVEYPNK
Kindconcept
WritingW1 stated
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge defines in: at least one definition (0 of 1)
  • edge instance_of in: at least two examples (0 of 2)
  • edge not_instance_of in: at least one non-example (0 of 1)
  • edge specializes both: the more general notions and the special cases (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.