x*y\in\{x,y\}