A relation $\mathrm{R}$ is defined on the set of all positive integers by:
$x\mathrm{R}y$ if and only if $y = 3^k\cdot x$ for some non-negative integer $k$.
Prove that $\mathrm{R}$ is a partial order.
A relation $\mathrm{R}$ is defined on the set of all positive integers by:
$x\mathrm{R}y$ if and only if $y = 3^k\cdot x$ for some non-negative integer $k$.
Prove that $\mathrm{R}$ is a partial order.