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