This is an old revision of the document!


Base for a topology

Set

context $\lange X,T\rangle$ … topological space
definiendum $B\in$ it
inclusion $B\subseteq T$
for all $U\in T$
exists $C\subseteq B$
postulate $U=\bigcup C$

Discussion

A base $B$ for a topology is a collection its open sets, which suffice to cover any other open set.

Parents

Context

Link to graph
Log In
Improvements of the human condition