The operation x ↦ ||x|| := d(0,x) is called an F-norm, although in general an F-norm is not required to be complete.
연산 x ↦ ||x|| := d(0,x)는 F-노름이라고 불린다, 그렇지만 일반적으로 F-노름은 완비일 필요는 없다.