I am reading Jech's book on Set Theory just now and I had a question about Ramsey ultrafilters.
Jech defines a Ramsey ultrafilter to be: "A non-principal ultrafilter $D$ on $\omega$ is a Ramsey ultrafilter if for every partition $\{A_n | n\in \omega \}$ of $\omega$ into $\aleph_0$ pieces such that $A_n \not\in D$ for all $n$, there exists $X \in D$ such that $X \cap A_n$ has one element for all $n \in \omega$."
Now if $2^{\aleph_0} = \aleph_1$, then we can enumerate all the partitions of $\omega$ by $\mathcal{A}_{\alpha}$ for $\alpha < \omega_1$, and then construct an $\omega_1$-sequence of infinite subsets of $\omega$ as follows: Given $X_{\alpha}$, let $X_{\alpha+1} \subseteq X_{\alpha}$ be such that either $X_{\alpha+1} \subseteq A$ for some $A \in \mathcal{A}_{\alpha}$, or that $|X_{\alpha+1} \cap A| \le 1$ for all $A \in \mathcal{A}_{\alpha}$. If $\alpha$ is a limit ordinal, let $X_{\alpha}$ be such that $X_{\alpha} \setminus X_{\beta}$ is finite for all $\beta < \alpha$.
Now I understand the above, but he defines the set $D = \{ X | X \supseteq X_{\alpha} \text{ for some } \alpha \in \omega_1\}$ and says it is a Ramsey ultrafilter. But I cannot see how it is nonprincipal, an ultrafilter, or Ramsey.
I would appreciate any help with those three points.