
 style="font-family: arial; font-style: italic;">const</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>),</li>
</ul>
<p>respectively. As describe above, associated with a special type
language morphism f is the concept lattice of theories morphism</p>
<p style="margin-left: 40px;"><span
 style="font-family: arial; font-style: italic;">truth</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>) : <span
 style="font-family: arial; font-style: italic;">truth</span>(<