Let G be a group and let H ⩽ G.
(a) If a in G, then a in aH (respectively, Ha).
(b) We have b in aH (respectively, Ha) if and only if aH = bH (respectively Ha = Hb).
(c) If a in H, then aH = H = Ha.
(d) If a / in H, then for all h in H, ah / in H (respectively, ha / in H)