al">),</span><span class="identifier">abt</span><span class="special">(</span><span class="identifier">h</span><span class="special">)]</span></code>
        is the range of the type <code class="computeroutput"><span class="identifier">T</span></code>,
        denoted <code class="computeroutput"><span class="identifier">R</span><span class="special">(</span><span class="identifier">T</span><span class="special">)</span></code>.
      </p>
<p>
        A range is a set of abstract values and not a set of nu