morphism <span
 style="font-family: arial; font-style: italic;">truth</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>) : <span
 style="font-family: arial; font-style: italic;">truth</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) &#8594; <span
 style="font-family: arial; font-style: italic;">truth</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>)
(see Figure 2b) called the <span style="font-style: italic;">truth
concept morphism</span> o