o compute its closure. Use class <code>SparseSet</code> to build it.</p></dd>

<dt><code>reduce</code></dt><dd><p>(logical) Reduce the implications using simplification logic?</p></dd>

<dt><code>verbose</code></dt><dd><p>(logical) Show verbose output?</p></dd>

</dl><p></div></p>
<h3>Returns</h3>
<p>If <code>reduce == FALSE</code>, the output is a fuzzy set corresponding to the closure of <code>S</code>. If <code>reduce == TRUE</code>, a list with two components: <code>closure</code>, with the closure as a