gibt eine algebraische Charakterisierung planarer Graphen an.

Ein Graph G ist genau dann planar, wenn sein Zyklenraum eine schlichte Basis besitzt.

Der Satz wurde 1937 von S. MacLane bewiesen. Dabei heißt eine Teilmenge K′ des Zyklenraumes schlicht, wenn jede Kante des Graphen in höchstens zwei Mengen aus K′ liegt.

Der Satz von MacLane läßt sich aus dem Satz von Kuratowski folgern.