Prinsip Rumah Burung

Prinsip rumah burung menyatakan bahwa untuk dua bilangan asli formula_1 dan formula_2, formula_3, jika formula_2 burung ditaruh di dalam formula_1 rumah atau kotak, maka paling sedikit satu kotak berisi lebih dari satu burung. Secara lebih formal, dapat dikatakan bahwa tidak ada fungsi satu-satu pada himpunan terhingga yang memiliki kodomain lebih kecil daripada domain.