ly: arial; font-style: italic;">mod</span>(<span
 style="font-weight: bold; font-style: italic;">f</span>) &middot; <span
 style="font-family: arial; font-style: italic;">max-th</span>(<span
 style="font-weight: bold; font-style: italic;">L</span>). This means
that
the left image of the embedding of any model of the target language is
the embedding of its model fiber. And also, the concept morphism
preserves type embedding, since the right function commutes with the
type function through the type embeddings