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$$.