Let $\Sigma$ be a fixed signature, and $\A$ and $\B$ structures for $\Sigma$ We say $\A$ is a substructure of $\B$ denoted , if for all we have , and the inclusion map $i\colon \A \to \B : x \mapsto x$ is an embedding.