for A being Preorder holds EqRelOf A = EqRel A