Elementary Equivalence

Two structures are elementarily equivalent if they satisfy the same first-order formulas. This tool allows for comparing models based on the expressive power of the theory's language