lådprincip

Många härledningar som innefattar ändliga mängder stöder sig på Dirichlets lådprincip som säger att det inte kan finnas en injektiv funktion från en större ändlig mängd till en mindre.

Dirichlets lådprincip, även kallad Postfacksprincipen eller duvslagsprincipen är ett resultat inom den diskreta matematiken och lyder som följer:

Dirichlets lådprincip blandas ofta samman med Dirichlets princip, ett begrepp som infördes av Bernhard Riemann inom potentialteorin.