information:extraction, linguistic:voice_change
Examples

The hyperreal numbers are the ultraproduct of one copy of the real numbers for every natural number, with regard to an ultrafilter over the natural numbers containing all cofinite sets. Their order is the extension of the order of the real numbers. For example, the sequence ω {\displaystyle \omega } given by ω i = i {\displaystyle \omega _{i}=i} defines an equivalence class representing a hyperreal number that is greater than any real number.

Analogously, one can define nonstandard integers, nonstandard complex numbers, etc., by taking the ultraproduct of copies of the corresponding structures.

As an example of the carrying over of relations into the ultraproduct, consider the sequence ψ {\displaystyle \psi } defined by ψ i = 2 i. {\displaystyle \psi _{i}=2i.} Because ψ i > ω i = i {\displaystyle \psi _{i}>\omega _{i}=i} for all i, {\displaystyle i,} it follows that the equivalence class of ψ i = 2 i {\displaystyle \psi _{i}=2i} is greater than the equivalence class of ω i = i, {\displaystyle \omega _{i}=i,} so that it can be interpreted as an infinite number which is greater than the one originally constructed. However, let χ i = i {\displaystyle \chi _{i}=i} for i {\displaystyle i} not equal to 7, {\displaystyle 7,} but χ 7 = 8. {\displaystyle \chi _{7}=8.} The set of indices on which ω {\displaystyle \omega } and χ {\displaystyle \chi } agree is a member of any ultrafilter (because ω {\displaystyle \omega } and χ {\displaystyle \chi } agree almost everywhere), so ω {\displaystyle \omega } and χ {\displaystyle \chi } belong to the same equivalence class.

In the theory of large cardinals, a standard construction is to take the ultraproduct of the whole set-theoretic universe with respect to some carefully chosen ultrafilter U. {\displaystyle {\mathcal {U}}.} Properties of this ultrafilter U {\displaystyle {\mathcal {U}}} have a strong influence on (higher order) properties of the ultraproduct; for example, if U {\displaystyle {\mathcal {U}}} is σ {\displaystyle \sigma } -complete, then the ultraproduct will again be well-founded. (See measurable cardinal for the prototypical example.)