for x, y being set holds <*x,y*> |-- x = <*y*>