Elementär ekvivalens är ett begrepp inom modellteori.
Elementärt ekvivalenta strukturer Två formella strukturer och är elementärt ekvivalenta, i symboler , om och satisfierar samma första ordningens satser.
En första ordningens teori är fullständig om och endast om alla dess modeller är elementärt ekvivalenta.
Elementära delstrukturer och elementära extensioner är en elementär delstruktur till ( är en elementär extension av ), i symboler , om det för alla första ordningens formler och element gäller att
omm .
Elementära inbäddningar är elementärt inbäddbar i , om det finns en elementär delstruktur till som är isomorf med
Kategori:Modellteori
zh:基本子结构