for x, y being object holds dom <*x,y*> = {1,2}