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.