Princip holubího otvoru vysvětluje, že pokud je v kontejneru na holuby (n) otvorů o velikosti holuba, pak je nemožné, aby se do tohoto kontejneru vešlo více než (n) holubů, aniž by alespoň jeden otvor obsahoval více než jednoho. Holubi jsou zde použiti jako příklad pro cokoli, co lze umístit do kontejnerů nebo podskupin.

Tato věta je důležitá v informatice a matematice, zejména v teorii grafů.