O-Minimality

A tameness condition for ordered first-order structures requiring that every definable subset of the line (one-dimensional domain) is a finite union of points and open intervals. It formalizes a lack of pathological oscillation in definable sets of the order.