賦範環

一個 向量空間 ，具有 環 結構和 向量範數，對於所有 ，滿足：

如果 具有 乘法單位元 1，還需要滿足 。

實數域 是關於 絕對值 的賦範環，複數域 是關於 模 的賦範環。在這兩種情況下，上述 不等式 實際上是 等式。更一般的例子是 實 方陣 的 環 （使用 矩陣範數）和 實係數多項式 的 環 （使用 多項式範數）。