>A</span> &#8838; <span
 style="font-family: arial; font-style: italic;">axm</span>(<span
 style="font-style: italic; font-weight: bold;">T</span>). Here are the
steps that define contraction.
Expansion is defined dually, and revision is the composition of
contraction followed by expansion.
</div>
<ol>
  <li>
    <p>Map the theory to its subset of axioms</p>
    <p style="margin-left: 40px;"> <span
 style="font-style: italic; font-weight: bold;">T</span><small><sub>1</sub></small>
&#8250;&#8594; <span style