Definition 5.9. Suppose $A_j=A$ for each $j\in J$. Then we call ${\prod }_{j\in J}{A}_j∕U$ an ultrapower of $A$, and write $A^U$.

If $B\subseteq A$, we write $[B]$ for $[{(B)}_{j\in J}]$.