><li><p><code>S() == []</code></p></li><li><code>x.intersect(x) == x</code></li><li><code>x.intersect([]) == []</code></li><li><code>x.union(x) == x</code></li><li><code>x.union([]) == x</code></li><li><code>x.contains(e)</code> implies <code>x.union(y).contains(e)</code></li><li><code>x.union(y).contains(e)</code> implies <code>x.contains(e) || y.contains(e)</code></li><li><code>x.contains(e) &amp;&amp; y.contains(e)</code> iff <code>x.intersect(y).contains(e)</code></li><li><code>x.isSubsetOf(y)</code> if