\displaystyle x\rho y\Longleftrightarrow (\exists\alpha_1,\alpha_2,\ldots,\alpha_k\in\textbf{Z})[x=y\cdot\prod_{i=1}^k p_i^{\alpha_i}]