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

Set Quantifier

{x in S: 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}