(analysis) A function denoted ||v|| that maps a vector v to a non-negative value such that ||cv|| = |c|.||v||, where c is a scalar, and ||v + w|| ≤ ||v|| + ||w|| (the triangle inequality); the condition that ||v|| = 0 implies that v = 0 is not required, but when it holds, the semi-norm is a norm.
