lic; font-weight: bold;">L</sub>, &#964;<sub
 style="font-style: italic; font-weight: bold;">L</sub>)<br>
      </td>
      <td style="vertical-align: top;">truth concept lattice of theories<br>
      </td>
    </tr>
  </tbody>
</table>
<p>Each special type language morphism <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: bold;">&#321;</span> has an
associated large concept 