see 剰余類

Hによる左剰余類全体の集合が、関係\simによる商集合G/{\sim}である

この商集合をG/Hと書いて、GのHによる左剰余集合という