Go backward to E.2.1 Set1
Go up to E.2 Generic Structured Specifications
Go forward to E.2.3 List
E.2.2 Set2
- spec
- Set2 [Elem] =
-
- Set1 [Elem]
- then
-
- pred
- __ e __ : Elem × Set[Elem]
- vars
- a,b : Elem; s,t : Set[Elem]
- ·
- ¬ a e {}
- ·
- a e {|b|} <=> a=b
- ·
- a e (s u t) <=> (a e s) \/ (a e t)
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk