arbitrary_union

Processing math: 100%

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

Context*