From 2c3dbcedcd741806f8b9558dcbda8ce729f504fc Mon Sep 17 00:00:00 2001
From: Alex Rudenko <alexrudenko@chromium.org>
Date: Fri, 10 Jan 2025 10:30:07 +0100
Subject: [PATCH] Define equality for sets

---
 infra.bs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/infra.bs b/infra.bs
index e41b011..b30d752 100644
--- a/infra.bs
+++ b/infra.bs
@@ -1728,6 +1728,9 @@ of either with <var>replacement</var> and <a for=set>remove</a> all other instan
 <p class=note>This implies that an <a>ordered set</a> is both a <a for=set>subset</a> and a
 <a for=set>superset</a> of itself.
 
+<p>A [=/set=] |A| is <dfn export for=set>equal</dfn> to a [=/set=] |B|
+if |A| is a [=subset=] of |B| and |A| is a [=superset=] of |B|.
+
 <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|.