A seminorm on is a function that has properties (1.) and (2.) so that in particular, every norm is also a seminorm (and thus also a sublinear functional). However, there exist seminorms that are not norms. Properties (1.) and (2.) imply that if is a norm (or more generally, a seminorm), then and that also has the following property:

Non-negativity: for all

Some authors include non-negativity

1.Previous
3.Next