This is an old revision of the document!
Arbitrary union
Set
context | $ S\in \mathfrak U $ |
definiendum | $ x\in \bigcup S $ |
range | $ X\in S $ |
postulate | $ \exists X.\ x\in X $ |
Discussion
Reference
Wikipedia: Arbitrary union
This is an old revision of the document!
context | $ S\in \mathfrak U $ |
definiendum | $ x\in \bigcup S $ |
range | $ X\in S $ |
postulate | $ \exists X.\ x\in X $ |
Wikipedia: Arbitrary union