In the last chapter we deal with inequalities. 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. A smaller class admits also a decomposition into irreducible components as it happens for semialgebraic sets. Duringthe redaction some proofs have been simplified with respect to the original ones.