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 };