for x, y being object st x in dom <*y*> holds
x = 1