הגדרה 1 (עץ מכוון)
גרף מכוון יקרא עץ אם יש לו שורש וגרף התשתית שלו הוא עץ.
משפט
יהי גרף מכוון . אזי, כל התנאים הבאים שקולים:
- עץ מכוון.
- ל- יש שורש ממנו יש מסלול מכוון יחיד לכל צומת.
- ל- יש שורש עבורו ולכל צומת אחר מתקיים .
- ל- יש שורש והסרת כל קשת מ- תפגום בתכונה זו.
- גרף התשתית של קשיר, יש ב- צומת עבורו ולכל צומת אחר מתקיים .