Ultraproducto

Una estructura obtenida a partir de una familia indexada de estructuras (M_i)_{i∈I} en una firma común tomando el producto cartesiano de los dominios y factorizando por un ultrafiltro U sobre I, de modo que dos sucesiones se identifican cuando coinciden en un conjunto de índices perteneciente a U; un caso particular es una ultrapotencia cuando todos los M_i son iguales.