## 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.