If $x \mathbin{R} y$ means "$x$ is related to $y$ under $R$", then $(x, y)$—

The notation $x\mathbin{R}y$ is precisely the statement that the ordered pair $(x,y)$ is a member of the relation $R$. The two notations $x\mathbin{R}y$ and are equivalent.