Def. The set of Cosets of a Group $G$, w.r.t. a Normal subgroup

Its order defines what is caled Index of a subgroup.

Used in proving Lagrange's theorem