Local algebraic approximation of semianalytic sets

Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes to order >s when r tends to 0. In this paper we prove that every s-equivalence class of a closed semianalytic set contains a semialgebraic representative of the same dimension. In other words any semianalytic set can be locally approximated to any order s by means of a semialgebraic set and hence, by previous results, also by means of an algebraic one