arbitrary_intersection

Processing math: 100%

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