talic; font-weight: bold;">L</span>) &#8594; <span
 style="font-family: arial; font-style: italic;">th</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>). </p>
  </li>
</ol>
<p>
Analogy is represented in the IFF by type language and theory
morphisms. A type language morphism</p>
<p style="margin-left: 40px;"><span
 style="font-style: italic; font-weight: bold;">f</span> : <span
 style="font-weight: bold; font-style: italic;">L</span> &#8594; <span
 style="font-style: italic; font-weight: