(a, b, c, d ∈ Z, b ≠ 0, d ≠ 0) によって定めると、関係 ∼ は同値関係となる。商集合 E/∼ を改めて Q と記して、Q における対 (a, b) の属する同値類を a/b と記すことにすると、このような表記は一意的ではなく、異なる代表元 (c, d) について