s="link" href="narygenerator.html#spirit.karma.reference.generator_concepts.narygenerator.invariants">Invariants</a>
          </h6>
<p>
            For each element, <code class="computeroutput"><span class="identifier">E</span></code>,
            in any NaryGenerator, <code class="computeroutput"><span class="identifier">G</span></code>,
            the following invariant always holds:
          </p>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem">