Given the set of integers ℤ, and the equivalence relation a∼b⟺a≡b( mod 2)⟺(a-b)%2=0, the quotient set is written ℤ/∼=̄0,̄1, consisting of the even and the odd integers.