<?xml version="1.0"?>
<div class="add">

<b>thus </b><a NAME="E1:43_1_1"/>
 <a href="closure1.html#K5" target="_self">MSFull</a> <font color="Maroon">c<sub>2</sub></font> is <a href="closure1.html#V5" target="_self">strict</a>
 ;<br/>

<b>thus </b><a NAME="E2:43_1_1"/>
( the <a href="closure1.html#U1" target="_self">Family</a> of <span class="p1">(<span class="default"><a href="closure1.html#K5" target="_self">MSFull</a> <font color="Maroon">c<sub>2</sub></font></span>)</span> is <a href="mssubfam.html#V1">additive</a> &amp; the <a href="closure1.html#U1" target="_self">Family</a> of <span class="p1">(<span class="default"><a href="closure1.html#K5" target="_self">MSFull</a> <font color="Maroon">c<sub>2</sub></font></span>)</span> is <a href="mssubfam.html#V2">absolutely-additive</a> &amp; the <a href="closure1.html#U1" target="_self">Family</a> of <span class="p1">(<span class="default"><a href="closure1.html#K5" target="_self">MSFull</a> <font color="Maroon">c<sub>2</sub></font></span>)</span> is <a href="mssubfam.html#V3">multiplicative</a> &amp; the <a href="closure1.html#U1" target="_self">Family</a> of <span class="p1">(<span class="default"><a href="closure1.html#K5" target="_self">MSFull</a> <font color="Maroon">c<sub>2</sub></font></span>)</span> is <a href="mssubfam.html#V4">absolutely-multiplicative</a> &amp; the <a href="closure1.html#U1" target="_self">Family</a> of <span class="p1">(<span class="default"><a href="closure1.html#K5" target="_self">MSFull</a> <font color="Maroon">c<sub>2</sub></font></span>)</span> is <a href="mssubfam.html#V5">properly-upper-bound</a> &amp; the <a href="closure1.html#U1" target="_self">Family</a> of <span class="p1">(<span class="default"><a href="closure1.html#K5" target="_self">MSFull</a> <font color="Maroon">c<sub>2</sub></font></span>)</span> is <a href="mssubfam.html#V6">properly-lower-bound</a> )
 ; <i><font color="Red">:: according to </font></i><a class="ref" href="closure1.html#D6" target="_self">CLOSURE1:def 6</a>,<a class="ref" href="closure1.html#D7" target="_self">CLOSURE1:def 7</a>,<a class="ref" href="closure1.html#D8" target="_self">CLOSURE1:def 8</a>,<a class="ref" href="closure1.html#D9" target="_self">CLOSURE1:def 9</a>,<a class="ref" href="closure1.html#D10" target="_self">CLOSURE1:def 10</a>,<a class="ref" href="closure1.html#D11" target="_self">CLOSURE1:def 11</a><br/>


</div>
