 In the previous section, the relations between structures were defined without resorting to the many-sorted formal language. That is not the case for elementary embedding, another relationship between many-sorted structures of the same signature. An elementary embedding \(\pi\) between two Σ-structures \(\mathcal{A}\) and \(\mathcal{A}^{\prime }\) is an embedding satisfying: