In the definition of topological groups we impose both $(x,y)\to xy$ and $x\to x^{-1}$ to be continuous.

However, I cannot find an example where the first condition holds but the second fails.

Is the second one redundant?

Thanks!