Ultraprodukt

Inom matematiken, särskilt inom modell- och mängdteori, används ultraprodukter för att, givet en mängd ${\displaystyle A_{i},i\in I}$ av strukturer av viss signatur, konstruera en struktur ${\displaystyle A=\Pi _{\mathcal {F}}A_{i}}$ sådan att varje första ordningens påstående är sant i A omm det är sant i "många" av strukturerna ${\displaystyle A_{i}}$.