Prinsip rumah burung

Prinsip rumah burung menyatakan bahwa untuk dua bilangan asli m dan n , n > m , jika n burung ditaruh di dalam m 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. Prinsip ini pertama kali dinyatakan oleh Dirichlet pada 1834 dan diberi nama Schubfachprinzip. Dalam beberapa bahasa, prinsip ini disebut prinsip Dirichlet.