Topics in Global Real Analytic Geometry

We describe a class of semianalytic sets defined by countably many global real analytic functions that is stable under topological properties and under proper holomorphic maps between Stein spaces, that is, verifies a direct image theorem.