: top;">right adjoint monotonic function:<br>
closure of the direct image of the expression function of <span
 style="font-style: italic; font-weight: bold;">f</span> </td>
    </tr>
  </tbody>
</table>
<br>
<h3><a name="The_Truth_Functionality"></a>The Truth Functionality</h3>
<p>Figures 2a and 2b diagrammatically illustrate the functionality that
is axiomatized in the type language and theory namespaces of the
IFF-ONT. Figure 2a is concerned with functionality associated with a
type language <span style="