Exercise 1, § 3

A pseudometric $f$ on a group $G$ (written multiplicatively) is said to be left-invariant (resp. right-invariant) if $f(xz, yz) = f(x, y)$ [resp. $f(xz, yz) = f(x, y)$] for all $x, y, z$ in $G$.