Poincaré separation theorem

The Poincaré Separation Theorem is a result in topology, specifically in the context of convex sets in Euclidean space.