omegalib/examples/old_test/closure7


1
2
3
4
5
6
7
8
9
10
11
12


R := {[t,s] -> [t+1,s] } union
 {[t,s] -> [t,s] } union
 {[t,s] -> [t,s+1] };

R;
R+;

S := {[t,s] -> [t+1,s] } union {[t,s] -> [t,s+1] };

S;
S+;