previous up next
Go backward to Example
Go up to Top
Go forward to Example
RISC-Linz logo

Generalized Set Quantifier

{Tx: x in S /\  A}

More convenient syntax for set construction.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next