type int4 = 1..4;
type odd4 = {1, 3};
relation R(int4, odd4) = {(1, 3), (2, 1), (3, 3), (4, 1)};
relation T(int4, odd4) = {(1, 2)};
