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

Generalized Set Quantifier

{Zx, y: x in S /\  y in T /\  A}

Set quantifier may bind arbitrary number of variables.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next