Функционал, заданный на векторном пространстве и обобщающий понятие длины вектора или абсолютного значения числа.
Закон.