italic;">expr</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) is the set of
expressions of the language, and whose incidence is satisfaction. The
truth classification <span
 style="font-family: arial; font-style: italic;">truth-cls</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) is a large
classification, since its
collection of instances is a set-theoretic class.<br>
</p>
<table
 style="width: 600px; text-align: left; background-color: rgb(0, 0, 0);"
 border="2