Set of real numbers: Difference between revisions

Content added Content deleted

Inline

@@ Line 163: / Line 163: @@
 (deftype set<= (a b) `(real (,a) ,b))
-(deftype set-union (i1 i2) `(or ,i1 ,i2))
+(deftype set-union (s1 s2) `(or ,s1 ,s2))
-(deftype set-intersection (i1 i2) `(and ,i1 ,i2))
+(deftype set-intersection (s1 s2) `(and ,s1 ,s2))
-(deftype set-diff (i1 i2) `(and ,i1 (not ,i2)))
+(deftype set-diff (s1 s2) `(and ,s1 (not ,s2)))
 (defun in-set-p (x set)