Assertion: set | /r/HasProperty | definable
Facets:
value: in the structure
type: OTHER
Source sentences:
text: Thus, letting \(\mathcal{P}^{Def}(X)\) to denote the set of all the subsets of \(X\) that are definable in the structure \((X,\in )\) by a formula of the language of set theory, using elements of \(X\) as parameters of the definition, we let