---
tag: FKEXVEYPNK
kind: concept
name: b:b
sources:
  - wikipedia: en:73634@r1376316324
    locator: Glossary of mathematical symbols, section Brackets > Braces
    note: adopted
    mention: wikipedia://en/73634#90X7
    sections: [Summary]
inventory: [XK2PS02FR1]
---

## Summary

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