1: \begin{definition}

2: 	Suppose $\mathcal{U}$ is an ultrafilter on $\mathcal{B}$, and $T$ is a complete countable theory. Then say that $\mathcal{U}$  $\lambda^+$-saturates $T$ if some or every of the equivalent clauses of Theorem~\ref{JustifyDefOfSat} hold; for instance, if some or every $\lambda^+$-saturated $\mathbf{M} \models^{\mathcal{B}} T$ satisfies that $\mathbf{M}/\mathcal{U}$ is $\lambda^+$-saturated. 

3: \end{definition}

4: