لم زورن (Zorn's lemma) را می‌توان برای نشان دادن این موضوع به کار برد که هر گراف همبند دارای یک درخت پوشا (spanning tree) است.
مجموعۀ تمام زیرگراف‌هایی که خودشان درخت هستند، با رابطۀ شمول (درج شدن) مرتب می‌شود. اجتماعِ یک زنجیره (chain) از این زیرگراف‌ها، یک کران بالایی برای آن زنجیره است. طبق لمۀ زورن، یک درخت ماکزیمال (بیشینه) باید وجود داشته باشد؛ و چون گراف اصلی همبند است، این درخت ماکزیمال در واقع یک درخت پوشا است، یعنی تمام رأس‌های گراف را شامل می‌شود.
برای گراف‌های متناهی، مانند گرافی که در تصویر نشان داده شده است، استفاده از لم زورن لازم نیست. (در گراف‌های متناهی می‌توان با روش‌های مستقیم، مثلاً با حذف یال‌های اضافی یا الگوریتم‌های پیمایش، یک درخت پوشا پیدا کرد.)
@harmoniclib