This is an old revision of the document!

Cover

Set

context $X$
definiendum $C\in\mathrm{Cover}(X)$
postulate $X \subseteq \bigcup_{i\in I}C_i$

where we have some indexing via a set $I$.

Discussion

Parents

Context

Indexed union

Link to graph
Log In
Improvements of the human condition
limeGraphxioms