Approximation of analytic sets along Nash subvarieties ✩

Let X be an analytic subset of pure dimension n of an open set U ⊂ Cm and let E be a Nash subset of U such that E ⊂ X.Then for every a ∈ E there is an open neighborhood V of a in U and a sequence {Xv} of complex Nash subsets of V of pure dimension n converging to X ∩ V in the sense of holomorphic chains such that the following hold for every v ∈ N: E ∩ V ⊂ Xv and the multiplicity of Xv at x equals the multiplicity of X at x for every x in a dense open subset of E ⊂ V.