Construcción de Ultraproducto

Una construcción model‑teórica que forma una nueva estructura tomando el producto cartesiano de una familia de estructuras y quotientándolo por un ultrafiltro, usada para transferir propiedades y producir modelos tipo-límite.

Una construcción de teoría de modelos que forma una nueva estructura a partir de una familia (A_i)_{i∈I} de estructuras de la misma firma y un ultrafiltro U en I tomando el producto cartesiano módulo la relación de equivalencia que identifica dos sucesiones cuando coinciden en un conjunto de U; las propiedades de primer orden satisfechas en un conjunto grande según U se transfieren al ultraproduct