La fermeture transitive C(G) du graphe G est construite par ajout d'arcs au graphe G.
Un graphe orienté G = (V, A) est une relation binaire A sur l'ensemble V de ses sommets.
Sa clôture transitive, ou fermeture transitive est le graphe C(G) = (V, Atrans).
La fermeture transitive d'un graphe G=(X,A) est la relation transitive minimale contenant la relation (X,A), il s'agit d'un graphe G*=(X,A*) tel que (x,y) Î A* si et seulement s' il existe un chemin f dans G d'origine x et d'extrémité y.
Un graphe orienté G est sans circuit si et seulement si on peut attribuer `a chaque sommet s un nombre r(s), appelé le rang de s, tel que pour tout arc (s, t) de G on ait r(s) < r(t).