Space and Time.
Spacetime is a four-dimensional topological manifold(a set) with a small atlas carrying a torsion-free connection compatible with a Lorentzian metric and a time orientation satisfying the Einstein equation.
Topological space = (M,Q). M is set. Q is set of subset of M.