Skip to content

Commit 2c3dbce

Browse files
OrKoNannevk
authored andcommitted
Define equality for sets
1 parent ffebfb4 commit 2c3dbce

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

infra.bs

+3
Original file line numberDiff line numberDiff line change
@@ -1728,6 +1728,9 @@ of either with <var>replacement</var> and <a for=set>remove</a> all other instan
17281728
<p class=note>This implies that an <a>ordered set</a> is both a <a for=set>subset</a> and a
17291729
<a for=set>superset</a> of itself.
17301730

1731+
<p>A [=/set=] |A| is <dfn export for=set>equal</dfn> to a [=/set=] |B|
1732+
if |A| is a [=subset=] of |B| and |A| is a [=superset=] of |B|.
1733+
17311734
<p>The <dfn export for=set>intersection</dfn> of <a>ordered sets</a> |A| and |B|, is the result
17321735
of creating a new <a>ordered set</a> |set| and, <a for=list>for each</a> |item| of |A|, if |B|
17331736
<a for=set>contains</a> |item|, <a for=set>appending</a> |item| to |set|.

0 commit comments

Comments
 (0)