
C := { n | n >= 0 };

P := { x,y,a,n | 0<=x<=20-y-a, 0<=y<=10-a, a>=0 };
Q := { x,y,a,n | 0<=x<=a , 0<=y<=a , a<=20 };

E := { x,y,a,n | a=n };
P1 := E.P;
Q1 := E.Q;

initvisu(3, C );

I := P.Q;
I1 := I.E;


U := P+Q;
U1 := U.E ;

D := P-Q;
D1 := D.E ;
