Quantifier
One of the operations
Exists
or
For All
.
See also
Bound Variable
,
Exists
,
For All
,
Free
© 1996-9
Eric W. Weisstein
1999-05-25