The set of cosets "inheriting the group structure" of the image – math.stackexchange.com

I am self-studying Benedict Gross's abstract algebra lectures and am not able to fully follow a point he makes when defining the product of two cosets. The setup is as follows. Let $f: G \to G'$ be a ...