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