the
right adjoint preserves arbitrary lattice meets. Furthermore, the
concept morphism preserves instance embedding, since the left function
commutes with the instance function through the instance embeddings:
<span style="font-family: arial; font-style: italic;">max-th</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>) &middot; <span
 style="font-family: arial; font-style: italic;">left</span>(<span
 style="font-weight: bold; font-style: italic;">f</span>) = <span
 style="font-fami