Symmetric relation (source code)

= Symmetric relation
{wiki}

= Symmetric
{synonym}

A relation $\mathrel R$ is symmetric when $x\mathrel R y$ implies $y\mathrel R x$.