Go backward to Generalized Set QuantifierGo up to TopGo forward to Generalized Set Quantifier |

- The term
{2*

is usually interpreted as`x`: 1 <=`x`<=`5`}{2*

which denotes the set {2, 4, 6, 8, 10}.`x`:`x`in**N**/\ 1 <=`x`<=`5`} - The term
{

typically denotes the set {`x`+`y`: 1 <=`y`<=`5`}`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**).

Author: Wolfgang Schreiner

Last Modification: October 14, 1999