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

Intersection