Closure in a Hilbert space of a prehilbert space Chebyshev set

Let E denote the real inner product space that is the union of all finite dimensional Euclidean spaces. There is a bounded nonconvex set S, that is a subset of E, such that each point of E has a unique nearest point in S. Let H denote the separable Hilbert space that is the completion of space E. A condition is given in order that a point in H have a unique nearest point in the closure of S. We shall also provide an example where the condition fails.