Elementary equivalence
= Elementary equivalence
{wiki=Elementary_equivalence}
Elementary equivalence is a concept in model theory, a branch of mathematical logic. Two structures (or models) \\( A \\) and \\( B \\) are said to be **elementarily equivalent** if they satisfy the same first-order sentences.