 bold;">&#321;</span><br>
</p>
<p>from type language <span
 style="font-weight: bold; font-style: italic;">L</span> to type
language <span style="font-style: italic; font-weight: bold;">&#321;</span>
maps (renames) the entity
types, relation types and constants using the entity, relation and
constant functions</p>
<ul>
  <li>the entity type function <span
 style="font-family: arial; font-style: italic;">ent</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>) : <span
 style="font-family: a