Elementarily equivalent groups

Definition

Two groups $G$ and $H$ are termed elementarily equivalent if the following equivalent conditions are satisfied:

• Any first-order sentence in the theory of groups satisfied by $G$ is also satisfied for $H$, and vice versa.
• There is an elementary local isomorphism between $G$ and $H$.