It's a simple "If----then" statement.
Hence, the formulation would be of type $A \rightarrow B$
Here, $A$ is "xy=x for all y"...Or rephrasing, "For all y, xy = x"
Hence, $A$ = $\forall y (P(x,y,x))$
And $B$ is "$x = 0$"
So, "If xy=x for all y, then x =0" $\equiv$ $\forall y (P(x,y,x))$ $\rightarrow$ ($x = 0$)
You can check the above Propositional expression is Always True.