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.

Łoś' theorem | nonstandard analysis | ultraproduct