"hg" ＝ "g"("g"-1"hg")が成立するから、部分群 "h" についての「右剰余類 "hg"」というのと、"h" と共役な部分群 "g"-1"hg" についての「左剰余類 "g"("g"-1"hg")」というのとでは同じことを言っていることになる。