Ultraproduct

Mathematical construction

An ultraproduct is the quotient set of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of the ultraproduct in which all factors are equal (analogous to an exponentiation).

From Wikipedia, under CC BY-SA. More on occurri.