       compare and overlap since only boundary values need to be considered.
          </li>
</ul></div>
<p>
        This definition allows for a concise definition of <code class="computeroutput"><span class="identifier">subranged</span></code>
        as given in the last section.
      </p>
<p>
        The width of a numeric set, as defined, is exactly equivalent to the width
        of a range.
      </p>
<p>
        <span class="inlinemediaobject"><img src="../images/space.png" alt="space"></span>
    