e="font-family: arial; font-style: italic;">max-th</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
= <span style="font-family: arial; font-style: italic;">maximal-theory</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
= &#953;<sub style="font-style: italic; font-weight: bold;">L</sub> : <span
 style="font-family: arial; font-style: italic;">mod</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) &#8594; <span
 style="font-family: arial