In this question a ***variety*** means any subset of complex projective space $\mathbb CP^n$ that is the set of common zeroes of a set of homogeneous polynomials. Thus if $A,B\subset{\mathbb C}P^n$ are varieties so is $A\cup B$. Suppose $V_k$ is a sequence of varieties that converge to a subset $V\subset{\mathbb C}P^n$ in the Hausdorff topology on closed subsets of ${\mathbb C}P^n$. Also suppose that there is $d$ such that each $V_k$ is the set of common zeroes of some polynomials of degree at most $d$. *Is it true that $V$ is always a variety* ?. This is a theorem of Ed Bishop if the $V_k$ are pure-dimensional.