Ultraprodukt

Eine Struktur, die aus einer indizierten Familie von Strukturen (M_i)_{i∈I} in einer gemeinsamen Signatur gebildet wird, indem man das kartesische Produkt der Trägermengen nimmt und durch ein Ultrafilter U auf I faktorisiert, sodass zwei Folgen identifiziert werden, wenn sie auf einer Menge von Indizes in U übereinstimmen; ein Spezialfall ist eine Ultrapower, wenn alle M_i gleich sind.