Jordan curve theorem

Every simple closed curve on the sphere separates it into two connected components, each having the curve as its boundary.

A topological surface is a Hausdorff second-countable space locally homeomorphic to the plane.