O-Minimalidad

Una condición de nitidez para estructuras ordenadas de primer orden que exige que todo subconjunto definible de la recta (dominio unidimensional) sea una unión finita de puntos e intervalos abiertos. Formaliza la ausencia de oscilaciones patológicas en los conjuntos definibles respecto al orden.