This is an old revision of the document!
Arbitrary intersection
Definition
| $S$ |
| $x\in \bigcap S$ |
| $X\in S$ |
| $ \forall X.\ x\in X $ |
Discussion
This can be viewed as a version of intersection, which however requires one more quantifier.
Reference
Wikipedia: Arbitrary intersection
Context
Requirements
