O-Minimal Theory
- Pure Mathematics -
Algebra Dictionary
Definition
A theory of ordered structures in which every definable subset of the line (one-dimensional domain) is a finite union of points and intervals; o-minimality enforces a strong geometric tameness on definable sets.