or total maps intersection and addition are
                  identical in this case.
                </p>
                <p>
                  See also <a class="link" href="../semantics/quantifiers__maps_of_numbers.html#boost_icl.semantics.quantifiers__maps_of_numbers.intersection_on_quantifiers"><span class="emphasis"><em>intersection
                  on Maps of numbers</em></span></a>.
                </p>
                <p>
                  A Map can be intersected with key types: an element (an in