סגור טרנזיטיבי
תכונה של קבוצת קודקודים בגרף
סגור טרנזיטיבי של גרף מכוון G = ( V , E ) {\displaystyle G=(V,E)} הוא גרף מכוון T = ( V , E T ) {\displaystyle T=(V,E_{T})} כך ש: e = u → v ∈ E T {\displaystyle e=u\rightarrow v\in E_{T}} אם ורק אם יש מסלול מכוון לא ריק מ-u ל-v ב-G.
אלגוריתם Warshall
קטגוריה:אלגוריתמים בתורת הגרפים
הוא גרף מכוון 
כך ש:
אם ורק אם יש מסלול מכוון לא ריק מ-u ל-v ב-G.
