Função que associa um número ou comprimento não negativo a cada vetor de um espaço vetorial.
Lei.
Prescrição.
Padrões.