ato ou efeito de encurtar; de diminuir o comprimento ou a duração de; abreviação.