There are many versions of the curve selection lemma.
In o-minimal structures, we have to consider definable curves, definable functions, deinable sets,… The definition of definable sets,… we can find in many documents.
Let be frontier of , ie . We have:
Curve selection lemma: In the o-minimal structure . If , then there is a definable map such that and .