O-Minimale Theorie

Eine Theorie geordneter Strukturen, in der jede definierbare Teilmenge der Geraden (eindimensionaler Träger) eine endliche Vereinigung von Punkten und Intervallen ist; O-Minimalität erzwingt starke geometrische Zähmung definierbarer Mengen.