n
 style="font-style: italic;">incidence </span>relation.</p>
<p>Each first order type language <span
 style="font-style: italic; font-weight: bold;">L</span> has an
associated <span style="font-style: italic;">truth
classification</span>, whose collection of instances <span
 style="font-family: arial; font-style: italic;">mod</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) is the class
of
models of the language, whose collection of types <span
 style="font-family: arial; font-style: 