for A being Order holds EqRelOf A = id the carrier of A