O-Minimalité

Condition de tameness pour structures ordonnées au sens des premiers ordres exigeant que tout sous-ensemble définissable de la droite (domaine unidimensionnel) soit une union finie de points et d'intervalles ouverts. Elle formalise l'absence d'oscillation pathologique des ensembles définissables de l'ordre.