[1] 群 G の部分群 H による剰余類:

• {g | (g, g' ∈ G) g ≡ g' (mod H)}