@@ -362,9 +362,9 @@ bijective r = injective r && surjective r
362362transitive :: Relation a a -> Bool
363363transitive r = (r `comp` r) `sse` r
364364
365−-- | A 'Relation' @r@ is symmetric iff @r == r@
365+-- | A 'Relation' @r@ is symmetric iff @r == conv r@
366366symmetric :: Relation a a -> Bool
367−symmetric r = r == r
367+symmetric r = r == conv r
368368
369369-- | A 'Relation' @r@ is anti-symmetric iff @(r `'intersection'` 'conv' r) `'sse'` 'identity'@
370370antiSymmetric :: (KnownNat (I.Count (I.Normalize a)), I.FromLists Boolean (I.Normalize a) (I.Normalize a)) => Relation a a -> Bool