Processing math: 100%

Open cover

Set

context ⟨X,T⟩ … topological space
definiendum C in it
inclusion C … cover(X)
postulate C⊆T

Subset of

Cover

Context

Topological space

Requirements*

Cover

Link to graph
Log In
Improvements of the human condition
limeGraphxioms