Converse relation (source code)

= Converse relation
{title2=$R^{-1}=\{(b,a):(a,b)\in R\}$}
{wiki}

Reversing every <ordered pair> of a <binary relation>. Swapping the two components is its own inverse and therefore preserves distinctness of a representation by a <list> of distinct pairs.