I will define and discuss the tropicalization and analytification of semialgebraic sets. We show that the real analytification is homeomorphic to the inverse limit of real tropicalizations, analogously to a result of Payne. We also show a real analogue of the fundamental theorem of tropical geometry.