Geometrie des polaren Raumes. Eine Punktmenge P mit einer nichtleeren Menge G disjunkter Teilmengen von P (die Geraden genannt werden) ist ein polarer Raum, falls für jede Gerade g ∈ G und jeden Punkt A ∈ P\g der Punkt A entweder mit genau einem oder mit allen Punkten von g kollinear ist. P ist ein nichtentarteter polarer Raum, falls P keine Punkte enthält, die mit anderen Punkten kollinear sind (P also kein „Kegel“ ist). Ein Beispiel für eine Polargeometrie bilden die polaren (bzw. isotropen) Unterräume eines symplektischen Raumes.