左剰余集合
see 剰余類
Hによる左剰余類全体の集合が、関係$ \simによる商集合$ G/{\sim}である
この商集合を$ G/Hと書いて、GのHによる左剰余集合という