Topological space

$(X, \tau)$ is a topological space if $\tau$ is a topology