Topological Space

A topological space or topology on a set $X$ is a collection $\tau$ of subsets of $X$ which is closed under:

• finite intersections
• arbitrary unions