italic; font-weight: bold;">L</span>). This means
that the right image of the
embedding of any expression of the source language is the embedding of
its expression image. The instance (model fiber) function is not in the
computational part of truth, whereas the other three component
functions are computational.<br>
</p>
<table
 style="width: 600px; text-align: left; background-color: rgb(0, 0, 0);"
 border="2" cellpadding="5" cellspacing="2">
  <tbody>
    <tr>
      <td style="vertical-align: top;"><span
 