2. a: Collection(T)
3. b: Collection(T)
4. c: Collection(T)
5.
x:T. x 
a 
x b6.
x:T. x b x c7. x: T
8. x
a
x c T:Type, a,b,c:Collection(T). a 
b b c a c| 1 | 1. T: Type 2. a: Collection(T) 3. b: Collection(T) 4. c: Collection(T) 5. x:T. x a x b6. x:T. x b x c7. x: T 8. x a x c |
About:
 |  |  |