## Topological space

### Set

 definiendum $\langle X,\mathcal T\rangle \in \mathrm{it}$ postulate $X,\emptyset\in \mathcal T$ for all $S\subseteq \mathcal T$ postulate $\bigcup S\in \mathcal T$ postulate $S$ … finite $\Rightarrow \bigcap S\in \mathcal T$

We call $\mathcal T$ the topology and its elements the open (sub-)sets of $X$.

A comment on the intersection axiom requiring finiteness: A major motivation for topological spaces is $\mathbb R^n$ with the sets “open ball” and in this setting, an infinite intersection of open sets need not be open. E.g. consider the set of open intevals $(-\tfrac{1}{n},\tfrac{1}{n})$.

#### Reference

Wikipedia: Topological space