Relation equals Inverse iff Symmetric