O-Minimalität

Eine Eigenschaft von geordneten ersten-Ordnung-Strukturen, die verlangt, dass jede definierbare Teilmenge der Gerade (eindimensionaler Träger) eine endliche Vereinigung von Punkten und offenen Intervallen ist. Sie formalisert das Fehlen pathologischer Oszillationen in definierbaren Mengen der Ordnung.