  A linearly ordered structure with this property is said to be o-minimal. (The idea of the name is that o-minimality is an analogue of ‘strong minimality’, in a form that makes sense for structures that carry a linear ordering, whence ‘o-’ for ordering.) 