Si "I" es un conjunto de índices, "U" es un ultrafiltro sobre "I", y "K" es un cuerpo para cada "i" en "I", el ultraproducto de "K" (usando "U") es un cuerpo.