noun Mathematics. the theorem that the complement of a simple closed curve can be expressed as the union of two disjoint sets, each having as boundary the given curve.