Definition:Invariant Pseudometric on Vector Space

Definition
Let $K$ be a field.

Let $X$ be a vector space over $K$.

Let $d$ be a pseudometric on $X$.

We say that $d$ is invariant :


 * $\map d {x, y} = \map d {x + z, y + z}$

for each $x, y, z \in X$.