Topological space

A topological space is a set $$X$$ equipped with a topology $$\tau$$.