  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.
