Ultraproduit

Une structure obtenue à partir d'une famille indexée de structures (M_i)_{i∈I} dans une signature commune en prenant le produit cartésien des domaines puis en quotientant par un ultrafiltre U sur I : deux suites sont identifiées lorsqu'elles sont égales sur un ensemble d'indices appartenant à U ; le cas particulier d'ultrapuissance survient lorsque tous les M_i sont identiques.