Home Gudgeon and gist Applied Discrete Structures Video: Cosets, an overview