# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# symbolic n,m;
# 
# R1 := {[x,y] -> [x,y+1] : 1 <= x,y <= 10};
# 
# R2 := {[x,y] -> [x+1,y] : 1 <= x <= 20 && 5 <= y <= 15};
# 
# R12 := R1 union R2;
# 
# R12c := R12+;
# 
# R12c;

{[x,y] -> [x,y'] : 1 <= y < y' <= 11 && 1 <= x <= 10} union
 {[x,y] -> [x',y] : 1 <= x < x' <= 21 && 5 <= y <= 15} union
 {[x,y] -> [x',y'] : 1 <= x < x' <= 21 && 1 <= y < y' <= 11 && x <= 10 && 5 <= y'}

# 
# (R12c compose R12c) - R12c;

{[x,y] -> [x',y']  : FALSE }

# 
# (R12c compose R12) - R12c;

{[x,y] -> [x',y']  : FALSE }

#