|
A definable set X is said to be definably compact in o-minimal structure M if every definable curve
in X is completable in X. The definable compactness of definable set X is equivalent to being closed
and bounded. We will examine the notions of definable compactness for definable sets in definable spaces
relative to o-minimal structures.
|