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

Parents

Element of

Set universe

Context*

Set universe

Link to graph
Log In
Improvements of the human condition
limeGraphxioms