le: italic; font-weight: bold;">L</span>) &#8594; <span
 style="font-family: arial;">closed-theory</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
      <span style="font-family: arial;">truth-concept-lattice</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) = <span
 style="font-family: arial;">lattice-of-theories</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)</td>
    </tr>
  </tbody>
</table>
<p><big><span style="font-weight: bold;">T