1: \begin{abstract}

2: We show that for every subset $X$ of a closed surface $M^2$ and every

3: $x_0\in X$, the natural homomorphism $\varphi:\pi_1(X,x_0)\rightarrow

4: \check{\pi}_1(X,x_0)$, from the fundamental group to the first shape

5: homotopy group, is injective.  In particular, if $X\subsetneq M^2$ is

6: a proper compact subset, then $\pi_1(X,x_0)$ is isomorphic to a

7: subgroup of the limit of an inverse sequence of finitely generated

8: free groups; it is therefore locally free, fully residually free and

9: residually finite.

10: \end{abstract}

11: