Symmetric closure
= Symmetric closure
{title2=$R\cup R^{-1}$}
{wiki}
The symmetric closure of a <binary relation> $R$ is $R\cup R^{-1}$, where $(x,y)\in R^{-1}$ means $(y,x)\in R$. Every <symmetric relation> containing $R$ contains all these reversed pairs, proving minimality.