talic; font-weight: bold;">L</span>) &#8594; <span
 style="font-family: arial; font-style: italic;">cloth</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
</p>
<div style="text-align: justify;">maps <span
 style="font-style: italic; font-weight: bold;">T</span> to <span
 style="font-family: arial; font-style: italic;">clo</span>(<span
 style="font-style: italic; font-weight: bold;">T</span>). Now, suppose
also that we want to delete a set of
axioms <span style="font-style: italic;"