Arbitrary intersection
Set
| context | $S$ |
| definiendum | $x\in \bigcap S$ |
| $X\in S$ |
| postulate | $ x\in X $ |
Discussion
This can be viewed as a version of intersection, which however requires one more quantifier.
Reference
Wikipedia: Arbitrary intersection
Parents
Context
