"Define $ϕ:A→B×C,\ g(H∩K)↦(gH,gK)$.
Note that $ϕ$ is well defined and also it's trivial that it is injective.
Thus, $|A|≤|B||C|$."
is from the question here.
But my question is, why does the inequality follow from the fact that the map is injective? I'm very confused.