Welcome guest
You're not logged in.
280 users online, thereof 1 logged in

Please recall the different basic possibilities to describe sets, in which the set-builder notation used the curly brackets, inside which we describe the definite properties of the set elements. The following corollary to the axiom of separation allows justification of this notation.

## Corollary: Justification of the Set-Builder Notation

Let $p(z,X_1,\ldots,X_n)$ be an atomic formula in predicate logic, in which the $z$ is a free variable and in which $X_1,\ldots,X_n, X$ are sets. Let $Y$ be given, which fulfills the property of the axiom of separation, i.e. $$\forall X_1,\ldots,X_n \forall X~\exists Y~\forall z~(z\in Y \Leftrightarrow z\in X\wedge p(z,X_1,\ldots,X_n)).$$
Then $Y$ is unique. Therefore, we can therefore use the formula to define the set $Y,$, justifying the set-builder notation $$Y:=\{z\in X\mid p(z,X_1,\ldots,X_n)\}.$$

| | | | | created: 2019-01-06 23:00:56 | modified: 2019-01-06 23:04:15 | by: bookofproofs | references: [656], [983]

(none)