How can $\mathbb{R} \subset \mathbb{C}$? My book defines $\mathbb{C}$ as $\{(x, y) : x,y \in \mathbb{R} \}$. So even when the imaginary part is zero, the elements of $\mathbb{C}$ are ordered pairs, while the reals are not.
I'm not sure if I should make a different question for this, but my book says that the reals are embedded in $\mathbb{C}$. Does this simply mean that the reals are a subset? Orthat we have an injective function from $\mathbb{R} \to \mathbb{C}$?
 A: This is one of the quirks that comes up when you formally define the number systems. Usually, it happens none of the number systems $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}$ is literally a subset of the next, if you look at the formal constructions. 
But each one embeds in an obvious way into the next one, and so there is no real harm in pretending that each is already a subset of the next.  Most of the time, mathematicians will talk as if the number systems are already embedded in each other, except when we are specifically looking at the formal constructions of the number systems. 
For example, the map that takes $x \in \mathbb{R}$ and sends it to $x + 0i$ in $\mathbb{C}$ is an embedding. In particular, it is a field isomorphism, so any field property of the reals will also hold for the set $\{x + 0i : x \in \mathbb{R}\}$. 
A: When people write $\mathbb{R}\subset \mathbb{C}$, they really mean that that there is a ring isomorphism between $\mathbb{R}$ and $\mathbb{R}^\prime = \{(x,0):x\in\mathbb{R}\}$, and that $\mathbb{R}^\prime \subset \mathbb{C}$.
A: Adding to that a little bit to the other answers: 
The topology of $\; \mathbb{C}$ is often identified with the topology of $\mathbb{R}^2$. We consider the isomorphism:
$$ \pi:\mathbb{R}^2\to\mathbb{C}, (x,y)\to x+iy
$$
where our norms of choice is often $||z||_\mathbb{C}^2=Re(z)^2+Im(z)^2$ and $||(x,y)||_\mathbb{R^2}^2=x^2+y^2$. And from that, you get that $\mathbb{R} \subset \mathbb{C}$, since $\mathbb{R}=\pi(\big\{(x,0)|x\in\mathbb{R} \big\}) \subset \mathbb{C}$.
By using this isomorphism, you can proof a lot of things in $\mathbb{C}$ while "being in $\mathbb{R}^2$". That why your textbook "defines" $\mathbb{C}$ that way. However, note that those are different spaces after all!
