An ultrapower is a specific type of ultraproduct that can be used to construct nonstandard universes and obtain the transfer principle as a corollary of Łoś' theorem for ultraproducts.
Ultrapower
See also
Łoś' Theorem, Nonstandard Analysis, UltraproductThis entry contributed by Matt Insall (author's link)
Explore with Wolfram|Alpha
Cite this as:
Insall, Matt. "Ultrapower." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Ultrapower.html