Lemma Zorn
caption: Lemma Zorn dapat digunakan untuk menunjukkan bahwa setiap grafik yang terhubung memiliki pohon rentang . Himpunan semua sub-grafik yang merupakan pohon diurutkan dengan penyertaan, dan penyatuan rantai adalah batas atas. Lemma Zorn mengatakan bahwa pohon maksimal harus ada, yaitu pohon rentang sejak grafik terhubung. [1] Lemma Zorn tidak diperlukan untuk grafik terbatas, seperti yang digambarkan di sini.