Das Taubenloch-Prinzip erklärt, dass es bei (n) taubengroßen Löchern in einem Taubenbehälter unmöglich ist, mehr als (n) Tauben in diesen Behälter unterzubringen, ohne dass mindestens ein Loch mit mehr als einer Taube vorhanden ist. Die Tauben werden hier als Beispiel für alles verwendet, was in Behälter oder Unterteilungen eingesetzt werden kann.

Dieses Theorem ist wichtig in der Informatik und Mathematik, insbesondere in der Graphentheorie.