Logic: defining 2 in a certain structure

Logic: defining 2 in a certain structure References Let $L= \\{ \\leq \\}$ be the language of the partial orders and $M$ the $L$-structure with $M=\\{ 1,2,3,4,6,12\\}$ and $\\leq_M=\\{(x,y)$: $x$ is a divisor of $y$$\\}$. Now, give an $L$-formula $\\phi(x)$ that defines the element $2$ (or equivalently, for every $m \\in M$: $M \\models \\phi [m/x] \\Leftrightarrow m=2$). Is this a good formula $\\phi$? $\\quad$ $ \\neg(x \\leq_M 1) \\wedge (x \\leq_M 2) \\wedge \\neg (x \\leq_M 3) \\wedge (x \\leq_M 4) \\wedge (x \\leq_M 6) \\wedge (x \\leq_M 12) $