1: \begin{definition}\label{SpecializationDef}

2: 	Suppose $\mathcal{B}$ is a complete Boolean algebra, $\mathbf{M}$ is a full $\mathcal{B}$-valued $\mathcal{L}$-structure, and $\mathcal{U}$ is an ultrafilter on $\mathcal{B}$. Let $(\mathbf{M}/\mathcal{U}, [\cdot]_{\mathbf{M}, \mathcal{U}})$ be the pair $(M, \pi)$ as constructed in Theorem  \ref{SpecializationThm}; we call $\mathbf{M}/\mathcal{U}$ the specialization of $\mathbf{M}$ at $\mathcal{U}$, and we call $[\cdot]_{\mathbf{M}, \mathcal{U}}$ the canonical surjection. We will only ever use the defining property of $(\mathbf{M}/\mathcal{U}, [\cdot]_{\mathbf{M},\mathcal{U}})$: $[\cdot]_{\mathbf{M},\mathcal{U}}$ is a surjection, and for every $\phi(\overline{a}) \in \mathcal{L}(\mathbf{M})$, $\|\phi(\overline{a})\|_{\mathbf{M}} \in \mathcal{U}$ if and only if $\mathbf{M}/\mathcal{U} \models \phi([\overline{a}]_{\mathbf{M}, \mathcal{U}})$.

3: 	

4: 	Usually $\mathbf{M}$ is clear from context, and we omit it in $[\cdot]_{\mathbf{M}, \mathcal{U}}$.

5: \end{definition}

6: