O
princípio do pombal ou
princípio da casa dos pombos é a afirmação de que se
n pombos devem ser postos em
m casas, e se
n >
m, então pelo menos uma casa irá conter mais de um pombo. Matematicamente falando, isto quer dizer que se o número de
elementos de um
conjunto finito A é maior do que o número de elementos de um outro conjunto B, então uma função de A em B não pode ser
injetiva.
É também conhecido como
teorema de Dirichlet ou princípio das gavetas de Dirichlet, pois supõe-se que o primeiro relato deste princípio foi feito por
Dirichlet em
1834, com o nome de
Schubfachprinzip ("princípio das gavetas").