Definition 1.6 (Elementarily equivalent). Two $L$-structures are elementarily equivalent if their theories are equal.

Given $L$-structures $M,N$, we write $M{\equiv }_{L}N$ to mean ${Th}_L(M)={Th}_L(N)$.