In many formal set theories, such as Zermelo–Fraenkel set theory, set builder notation is not part of the formal syntax of the theory.

- Set-builder notationSubsets are commonly constructed using set builder notation.

- Zermelo–Fraenkel set theory0 related topics

Alpha