<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:mtable class="gathered">
<mml:mtr>
<mml:mtd>
<mml:msup>
<mml:mrow>
<mml:mi>H</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-bin">-</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>m</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">=</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mo class="MathClass-bin">⊕</mml:mo>
</mml:mrow>
<mml:mrow>
<mml:mi>j</mml:mi>
<mml:mo class="MathClass-rel">≤</mml:mo>
<mml:mi>m</mml:mi>
</mml:mrow>
</mml:msub>
<mml:msub>
<mml:mrow>
<mml:mi>M</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>j</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-punc">,</mml:mo>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msup>
<mml:mrow>
<mml:mi>H</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-bin">+</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>m</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">=</mml:mo>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">closure</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">in</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:msubsup>
<mml:mrow>
<mml:mi>H</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>Ω</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">of</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">the</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">linear</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">space</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">spanned</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">by</mml:mtext>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:msub>
<mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-open">{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>M</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>j</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo class="MathClass-close">}</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mi>j</mml:mi>
<mml:mo class="MathClass-rel">≥</mml:mo>
<mml:mi>m</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-punc">.</mml:mo>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:math>