able 2: IFF Lattice of
Theories Operators &#8211; Morphisms</span></big></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;">
      <p><big><span style="font-family: arial; font-weight: bold;">IFF
Lattice of Theories Namespace</span></big></p>
[ <span style="font-style: italic; font-weight: bold;">f</span> : <span
 style="font-weight: bold; font-style: italic;">L</span> &#85