Go backward to Generalized Set Quantifier Go up to Top Go forward to Generalized Set Quantifier

Example

• The term

  {2*x: 1 <= x <= 5}

  is usually interpreted as

  {2*x: x in N /\  1 <= x <= 5}

  which denotes the set {2, 4, 6, 8, 10}.
• The term

  {x+y: 1 <= y <= 5}

  typically denotes the set {x+1, x+2, x+3, x+4, x+5} (assuming that only y is bound by the quantifier and that its domain is N).