Set of all finite subsets of the plane How could I determine the cardinality of the set of all finite subsets of the plane? I believe I am correct in saying that this set is equivalent to the power set of $\Bbb R^{2}$ minus all infinite sets in that set. Is it correct to say that I can map any set of size $k$ to $\Bbb R^{2k}$, and then get a countable union of sets of cardinality $c$...which is $c$? That just sounds a little incomplete because how do we know this is a $countable$ union of said sets? 

The set is
$$\mathcal{P}_f\left(\mathbb{R}^2\right)=\bigcup_{n=0}^{\infty}P_n\left(\mathbb{R}^2\right)$$
where $P_n\left(\mathbb{R}^2\right)=\{S\subset\mathbb{R}^2\,;\,|S|=n\}\subset{\left(\mathbb{R}^2\right)}^n$.
Now, clearly, the cardinality of $P_1\left(\mathbb{R}^2\right)$ is $\left|\mathbb{R}^2\right|=|\mathbb{R}|$. For $n> 1$, the cardinality of $P_n\left(\mathbb{R}^2\right)$ is also $|\mathbb{R}|$, because there is a trivial injection onto $\mathbb{R}^n$. At this point it suffices to use this theorem on cardinality of infinite unions to deduce that $\left|\mathcal{P}_f\left(\mathbb{R}^2\right)\right|=|\mathbb{R}|$.
Notice that basically the same argument yields that if $A$ is any infinite set and $\mathcal{P}_f(A)$ is the set of finite subsets of $A$, then $|\mathcal{P}_f(A)|=|A|$. Here we used the handy fact that for any infinite cardinal $\kappa$ it holds that $\kappa\times\kappa=\kappa$ (which implies that $\left|A^n\right|=|A|$ for all $n \in \mathbb{N}$).
