The theorem states that if F is an analytic set of dimension less than k in some complex manifoldD, and M is an analytic subset of D – F with all components of dimension at least k, then the closure of M is either analytic or contains F.
The condition on the dimensions is necessary: for example, the set of points (1/n,0) in the complex plane is analytic in the complex plane minus the origin, but its closure in the complex plane is not.