d;">&#321;</span>) : <span
 style="font-family: arial; font-style: italic;">th</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>) &#8594; <span
 style="font-family: arial; font-style: italic;">cloth</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>).</p>
<p>Being monotonic, the left and right functions preserve lattice order
(reverse subset inclusion on the theorem sets of closed theories). In
addition, the left adjoint preserves arbitrary lattice joins and 