If $\lVert\mathord{\cdot}\rVert$ is ultrametric, then $\lVert\mathord{\cdot}\rVert_{k^{\prime}}$ is the largest ultrametric norm on $V_{k^{\prime}}$ extending $\lVert\mathord{\cdot}\rVert$. ([CMor18, Definition 2.4])