Processing math: 100%

Indexed union

Set

context f:IX
definiendum iI, fXiim(f)

Discussion

For f=id, the set is indexing itself and the indexed union is just the arbitrary union iIXi=X.

Parents

Refinement of

Context

Link to graph
Log In
Improvements of the human condition