From cb47d7acd4223b56442674d9b1bdc13f091e0434 Mon Sep 17 00:00:00 2001 From: "Reynaldo H. Verdejo Pinochet" Date: Mon, 19 Dec 2016 10:59:59 -0800 Subject: [PATCH] design/caps: drop left over double spaces --- markdown/design/caps.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/markdown/design/caps.md b/markdown/design/caps.md index b49d390..9d46b62 100644 --- a/markdown/design/caps.md +++ b/markdown/design/caps.md @@ -43,10 +43,10 @@ in "A". A structure "a" is the subset of a structure "b" if it has the same structure name, the same caps features and each field in "b" either does not exist in "a", or the value of the field in "a" is a subset of the value of the -field in "b". "a" must not have additional fields that are not in "b". Fields +field in "b". "a" must not have additional fields that are not in "b". Fields that are in "b" but not in "a" (aka, an empty field) are always a subset. This is different to the intuitive mathematical definition as an empty field -is defined to contain all possible values. This means that the empty field is +is defined to contain all possible values. This means that the empty field is always a superset of any other field. EMPTY caps are a subset of every other caps. Every caps are a subset of -- 2.7.4