From 29ab22aeece80a9aa107097b2814b9d74c226071 Mon Sep 17 00:00:00 2001 From: Alex Rudenko Date: Fri, 10 Jan 2025 10:29:25 +0100 Subject: [PATCH] Define equality for sets --- infra.bs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/infra.bs b/infra.bs index 01c621f..25cd798 100644 --- a/infra.bs +++ b/infra.bs @@ -1718,6 +1718,9 @@ of either with replacement and remove all other instan

This implies that an ordered set is both a subset and a superset of itself. +

An [=/set=] |A| is equal to an [=/set=] |B| +if |A| is a [=subset=] of |B| and |A| is a [=superset=] of |B|. +

The intersection of ordered sets |A| and |B|, is the result of creating a new ordered set |set| and, for each |item| of |A|, if |B| contains |item|, appending |item| to |set|.