Subadditive Euclidean norm
This article defines a property that can be evaluated for a Euclidean norm on a commutative unital ring
Definition
Let be a commutative unital ring and be a Euclidean norm on . We say that is subadditive if for any such that , we have:
.