半ノルム
↑ つまり、半ノルムの意味(での絶対差)で識別不可であることが同一性を意味しない
↑ 逆三角不等式とも。なおミンコフスキー空間における三角不等式(特定の条件下で、通常とは不等号が「逆向き」の形で成り立つ)とは異なる。