Just to sum up, mostly for my own reference, but I thought others might find it useful. (I am new to the site, so please excuse me if this shouldn't be an answer...)
First some preliminary notions:
For a topological space $X$, an $n$-simplex in $X$ is a continuous map $\Delta^n \to X$ from the standard geometric $n$-simplex $\Delta^n$ into $X$. The maps $d^i: \Delta^{n-1} \to \Delta^{n}$, sends $\Delta^{n-1}$ to the face of $\Delta^n$ sitting opposite the $i$th vertex of $\Delta^n$.
An ordered $n$-simplex is a partially ordered set $n_+ = \{ 0 < 1 < \cdots < n \}$. The $n+1$ elements of $n_+$ is called the vertices of $\sigma$. The subsets of $n_+$ are called the faces of $\sigma$. There are morphisms of simplices $d^i: (n-1)_+ \to n_+$ called coface maps, given by $d^i((n-1)_+) = \{ 0 < 1 < \dots < î < \cdots < n \}$ omitting the $i$th vertex of $n_+$.
Then for the two homologies:
The singular (unreduced) chain complex on a space $X$, is the chain complex
$$\cdots \xrightarrow{\partial_{n+1}} C_n(X) \xrightarrow{\partial_n} C_{n-1}(X) \xrightarrow{\partial_{n-1}} \cdots C_1(X) \xrightarrow{\partial_1} C_0(X) \to 0$$
where $C_n(X)$ is the free abelian group $\mathbb{Z}[S_n(X)]$ generated by the set $S_n(X) = \{ \sigma : \Delta^n \to X \}$ of all $n$-simplices in $X$ (i.e. the set of all continuous maps $\Delta^n \to X$). The boundary maps $\partial_n : C_n(X) \to C_{n-1}(X)$ is given by $\partial_n (\sigma) = \sum_{i=0}^{n}(-1)^i \sigma d^i : \Delta^{n-1} \to \Delta^n \to X$.
The $n$th homology group $H_n(X) = \ker(\partial_n) / \text{im}(\partial_{n+1})$ of this complex is the $n$th singular homology group of $X$.
A simplicial complex $S$ is a set $S = \bigcup_{n=0}^{\infty} S_n$ where $S_n = S(n_+)$ being a set of ordered $n$-simplices, such that a face of any simplex in $S$ is itself a simplex in $S$. The simplicial chain complex
$$\cdots \xrightarrow{\partial_{n+1}} C_n(S) \xrightarrow{\partial_n} C_{n-1}(S) \xrightarrow{\partial_{n-1}} \cdots C_1(S) \xrightarrow{\partial_1} C_0(S) \to 0$$
consists of the free abelian groups $C_n(S) = \mathbb{Z}[S_n]$ generated by the $n$-simplices. The boundary map $\partial_n : C_n(S) \to C_{n-1}(S)$ is given by $\partial_n(\sigma) = \sum_{i=0}^n (-1)^i d_i \sigma$ where $d_i = S(d^i) : S_n \to S_{n-1}$ is the face maps $d_i(\sigma) = \sigma \circ d^i$.
The $n$th homology groups of this complex $H^\Delta_n(S) = \ker(\partial_n) / \text{im}(\partial_{n+1})$ is the $n$th simplicial homology group of $S$.
Lastly we have the realization of $S$, $|S| = \coprod (S_n \times \Delta^n) / \left((d_i \sigma, y) \sim (\sigma, d^iy) \right)$ for all $(\sigma, y) \in S_n \times \Delta^{n-1}$, where $d_i \sigma \times \Delta^{n-1}$ is identified with the $i$'th face of $\sigma \times \Delta^n$.
Then if you want to say something about a specific space $X$, you need to find a simplicial complex $S$, whose realization is homeomorphic to $X$ (i.e. you triangulate $X$ and find the homology groups of the resulting simplicial complex).
NOTE: Feel free to edit any mistakes and clarify where you find it necessary. I'm still not 100% comfortable with it yet..
Yes, this is true. Here's one way to prove it. For $0\leq j<n$, write $s_j^{n-1}:\Delta^n\to\Delta^{n-1}$ for the map induced by the order-preserving surjection $\{0,\dots,n\}\to\{0,\dots,n-1\}$ that maps both $j$ and $j+1$ to $j$. Say that a singular simplex $\Delta^n\to X$ is degenerate if it factors through $s_j^{n-1}$ for some $j$. Note that the boundary of a degenerate simplex is a linear combination of degenerate simplices: all but possibly two of its faces are degenerate (the two exceptions being the faces corresponding to omitting the vertices $j$ and $j+1$), and those two faces cancel out. So if we write $D_n(X)\subseteq C_n(X)$ for the span of the degenerate simplices, $D_\bullet(X)$ is a subcomplex of $C_\bullet(X)$. Write $N_\bullet(X)=C_\bullet(X)/D_\bullet(X)$.
Now note that given an order-preserving simplicial map $f:X\to Y$, the induced maps $C^\Delta_\bullet(X)\to C^\Delta_\bullet(Y)\to C_\bullet(Y)\to N_\bullet(Y)$ and $C^\Delta_\bullet(X)\to C_\bullet(X)\to C_\bullet(Y)\to N_\bullet(Y)$ are equal, since the $n$-simplices $\sigma$ that you're worried about have the property that $f\circ c_\sigma$ is degenerate. So to show that $f^\Delta_{\bullet_*}=f_{\bullet_*}$, it suffices to show that the map $C_\bullet(Y)\to N_\bullet(Y)$ induces isomorphisms on homology. By the long exact sequence in homology associated to the short exact sequence $0\to D_\bullet(Y)\to C_\bullet(Y)\to N_\bullet(Y)\to 0$, it suffices to show that $D_\bullet(Y)$ has trivial homology.
We can show this by constructing a chain homotopy. Given a degenerate $n$-simplex $\sigma:\Delta^n\to Y$, let $j(\sigma)\in\{0,\dots,n-1\}$ be the least $j$ such that $\sigma$ factors through $s_j^{n-1}$. Now define $H:D_n(Y)\to D_{n+1}(Y)$ by $H(\sigma)=(-1)^{j(\sigma)}\sigma\circ s^n_{j(\sigma)}$. An elementary computation then shows that $H\partial+\partial H:D_n(Y)\to D_n(Y)$ is the identity map. It follows that $D_\bullet(Y)$ has no homology.
To give a sense of the computation $H\partial+\partial H=1$, let's show what happens when you take a $3$-simplex $\sigma$ with $j(\sigma)=1$; the general case works very similarly. Let's write $\sigma=[a,b,b,c]$; all the simplices built from $\sigma$ will be written using similar expressions with the obvious meaning (here $a$, $b$, and $c$ are the vertices of $\sigma$, with $b$ repeated since it factors through $s^2_1$). We then have $H(\sigma)=-[a,b,b,b,c]$, so $$\begin{align}\partial H(\sigma)=&-[b,b,b,c]+[a,b,b,c]-[a,b,b,c]+[a,b,b,c]-[a,b,b,b]\\=&-[b,b,b,c]+[a,b,b,c]-[a,b,b,b].\end{align}$$
On the other hand, $\partial\sigma=[b,b,c]-[a,b,c]+[a,b,c]-[a,b,b]=[b,b,c]-[a,b,b]$. We have $H([b,b,c])=[b,b,b,c]$ and $H([a,b,b])=-[a,b,b,b]$. Thus we get $$H(\partial\sigma)=[b,b,b,c]+[a,b,b,b].$$ When we add together $\partial H(\sigma)$ and $H(\partial\sigma)$, all the terms cancel except $[a,b,b,c]$, which is just $\sigma$.
Best Answer
Although the statements in your post are all true, none of them are correct interpretations of this passage from Hatcher's book.
Instead, what Hatcher is saying is that for any topological space $X$ there exists a simplicial complex $Y$ such that the singular chain complex $S(X)$ and the simplicial chain complex $\Delta(Y)$ are isomorphic as chain complexes. And then, because of this chain complex isomorphism, it follows that the singular homology of $X$ is isomorphic to the simplicial homology of $Y$.
Furthermore Hatcher's description of the isomorphism is defined by bijections, namely one bijection for each $n \ge 0$, between the basis of $S_n(X)$ (i.e. the set of singular $n$-simplices in the topological space $X$) and the basis of $\Delta_n(Y)$ (i.e. the set of $n$ simplices of the simplicial complex $Y$).