 Abstract smooth surface

An abstract smooth surface is a two-dimensional smooth manifold. Thus it is a Hausdorff second-countable space with an atlas of plane-valued coordinate charts whose transition maps are smooth.