Key points are not available for this paper at this time.
A G-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group G acts definably and continuously on the definable set.
Fujita et al. (Sun,) studied this question.