鳩ノ巣原理 (Pigeonhole principle) とは、$f : S \rightarrow T$ という関数があり、$|S| > |T|$ なら$f(a) = f(b)$となる要素$a \neq b \in S$が存在する、という定理である。

様々な場面において、ある要素の存在性を示すのに使われることがある。存在性は示せても、それを効率的に構成できるかどうかは別問題であることに注意する。