omega/examples/old_test/p4


1
2
3
4
5

inverse { [i] -> [i+1] : 1 <= i <= 9 };
domain { [i] -> [i+1] : 1 <= i <= 9 };
range { [i] -> [i+1] : 1 <= i <= 9 };
{ [i] -> [i+1] : 1 <= i <= 9 } compose { [i] -> [i+1] : 1 <= i <= 9 };