Jordan curve theorem

Short definition from Wiktionary

Noun

1. 1
   The theorem that states that a simple closed curve (Jordan curve) divides the plane into precisely two distinct areas.
2. 2
   Used other than figuratively or idiomatically: see Jordan curve, theorem.