Definitions for "seminorm"
a function from to the set of non-negative real numbers, that satisfies the following two properties