Não há umuma definição única. Cada contexto, cada tecnologia pode defini-lo de uma forma distinta. Então a definição do dicionário pode ajudar mais que umuma definição específica. Pode ser visto no Priberam ou Michaelis, então seria algo medido de forma pequena e harmoniosa?
Existem módulos que não possuem estes nomes. E existem coisas chamadas de módulos que pode não passar por uma inspeção rigorosa do termo.
Note que sequer há uma definição do tamanho desse módulo. Ele pode ter uma responsabilidade bem específica ou ter uma responsabilidade bem mais geral. Ainda que seja certo que ele não corresponde ao todo, ele é uma parte do todo.
Enfim, não há uma boa definição canônica do que seja isto. Tem que analisar o contexto para definir melhor do que está se falando.
Programação modular
Existe a programação modular (veja mais) que propõe criar aplicações divididas em partes pequenas. O que são essas partes não é bem definido. Um módulo neste contexto pode ser um método, pode ser uma classe, pode ser um arquivo fonte, pode ser um executável, pode ser um pacote, seja lá o que isto signifique em cada situação, pode ser algum outro agrupamento de outras partes menores ainda.
Classes estáticas
De fato tem linguagem que chama de módulo uma classe que só possui membros estáticos.
Agrupamento de tipos e outras construções
Tem linguagem que agrupa vários tipos (representados por classes, por exemplo) dentro dele. Em algumas isto assemelha-se a um namepace, outras à uma unidade de compilação, em geral até misturando os dois conceitos.
PHP
Em PHP o termo é usado para coisas que não são da programação em si.
Fora da programação
Nem passei perto de falar dos módulos usados em algo no ciclo profissional do desenvolvedor, mas não está relacionado à programação em si.
Matemática
Tão pouco falei do módulo que é a operação de obtenção do resto de uma divisão inteira. Acho que não é o objetivo da pergunta.