Théorie O-Minimale

Une théorie de structures ordonnées telle que tout ensemble définissable sur la droite (domaine unidimensionnel) est une réunion finie de points et d'intervalles ; l'o-minimalité impose une forte douceur géométrique aux ensembles définissables.