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