El principio del palomar, también llamado principio de Dirichlet o principio de las cajas, establece que si "n" palomas se distribuyen en "m" palomares, y si "n" > "m", entonces al menos habrá un palomar con más de una paloma.