Remove extra set equality

Author: noamr

infra.bs

@@ -1893,9 +1893,6 @@ of either with <var>replacement</var> and <a for=set>remove</a> all other instan
 <p>A [=/set=] |A| is <dfn export for=set lt=equal>unordered equal</dfn> to a [=/set=] |B| if |A| is
 a [=subset=] of |B| and |A| is a [=superset=] of |B|.
 
-<p>A [=/set=] |A| is <a for=/>equal</a> to a [=/set=] |B| if |A| is a [=subset=] of |B| and |B| is a
-[=subset=] of |A|.
-
 <p>The <dfn export for=set>intersection</dfn> of <a>ordered sets</a> |A| and |B|, is the result
 of creating a new <a>ordered set</a> |set| and, <a for=list>for each</a> |item| of |A|, if |B|
 <a for=set>contains</a> |item|, <a for=set>appending</a> |item| to |set|.