X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke.git;a=blobdiff_plain;f=THEORY;h=f40a1fc5848ad786e51b61a17b15e89e27c7e807;hp=5dd24c3c25bccc8dcecd2110eb90b7b3ef85d927;hb=a2bee3f9f4ecc497a19a96a2f6b1264a1f9809e7;hpb=3737625f8517dbb585defcc887b9db86e2e17228

diff --git a/THEORY b/THEORY
index 5dd24c3..f40a1fc 100644
--- a/THEORY
+++ b/THEORY
@@ -5,6 +5,9 @@ GENERAL
  Patch P has two sets P+, P-
  Ancestors A(C,P) = { Ca \elem C | Ca \elem P }
  Ends E(C,P) = maximal elements of A(C,P)
+ Patch inclusion
+   C \haspatch P    <=> [ \forall D \elem P+: D \isin C <=> D <= C ]
+   C \nothaspatch P <=> [ \forall D \elem P+: D \notisin C ]
 
 COMMIT ANNOTATIONS