Yangin ja Leen lauseet ovat lauseita kvanttitilastojärjestelmien suuren osiofunktion ominaisuuksista. Ne muotoili ja todisti C. Li ja C. Yang vuonna 1959 [1] Tarkastellaan kvanttitilastojärjestelmää. Olkoon järjestelmän suuri osiofunktio, järjestelmän tilavuus ja aktiviteetti.
Oletetaan, että , pinta-ala ei kasva nopeammin kuin . Silloin raja on olemassa kaikille . Tämä raja ei riipu tilavuuden muodosta ja on jatkuva, ei-pienevä funktio .
Olkoon kompleksitasossa alue, joka sisältää positiivisen reaaliakselin segmentin ja joka ei sisällä yhtälön juuria millekään . Sitten kaikille alueella sijaitseville määrä konvergoi tasaisesti rajaan . Tämä raja on analyyttinen funktio kaikille , jotka sijaitsevat alueella .
Kvanttitilastomekaniikan suuri osiofunktio saadaan kaavalla , jossa .