Laguerren lause on lause kokonaisen funktion derivaatan ominaisuuksista.
Olkoon koko funktio , jonka kertaluku on pienempi kuin 2, todellinen todellisilla arvoilla ja todellisilla nolilla. Tällöin myös derivaatan nollat ovat kaikki todellisia ja ne erotetaan toisistaan funktion nollalla .
Kokonainen funktio on analyyttinen funktio , jolla ei ole singulariteettia tason äärellisessä osassa. Kokonaista funktiota kutsutaan äärellisen järjestyksen funktioksi, jos on olemassa positiivinen luku siten, että kun , yhtäläisyys pätee . Tämän yhtälön lukujen infiumia kutsutaan funktion järjestykseksi.