Satz von Fraïssé

Der Satz von Fraïssé, benannt nach Roland Fraïssé, ist ein Satz aus der mathematischen Logik. Ist ${\displaystyle S}$ eine endliche Symbolmenge, so charakterisiert er die elementare Äquivalenz zweier ${\displaystyle S}$-Strukturen auf rein algebraische Weise, ohne Bezug auf die Prädikatenlogik erster Stufe zu nehmen.