Topological surface (source code)

= Topological surface
{wiki}

= Surface
{synonym}

A topological surface is a <Hausdorff space> with a countable basis in which every point has a neighborhood homeomorphic to an open subset of $\mathbb R^2$.