weight: bold; font-style: italic;">L</span>) &#8594; <span
 style="font-family: arial; font-style: italic;">rel</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>),</li>
</ul>
<ul>
  <li>the constant function <span
 style="font-family: arial; font-style: italic;">const</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>) : <span
 style="font-family: arial; font-style: italic;">const</span>(<span
 style="font-weight: bold; font-style: italic;">L</span>) &#8594; <span