Go backward to Subset and Equality (Continued)Go up to TopGo forward to Example |

{ xinS: A}

- Variable
`x`, term`S`, formula`A`. - Term whose value is the set of all elements
`x`in`S`with property`A`:**forall**`x`:`x`in {x in S: A} <=> (`x`in`S`/\`A`). *Variable domain*`S`dropped, if clear from context:{

`x`:`A`}

Author: Wolfgang Schreiner

Last Modification: October 14, 1999