\s{Definice:} Prohledávání do~hloubky rozdìlí $E$ na~ètyøi druhy hran: {\I stromové} (po~nich¾
DFS pro¹lo a rekurzivnì se zavolalo; tyto hrany vytváøejí {\I DFS strom} orientovaný z~koøene),
{\I zpìtné} (vedou do~vrcholu na~cestì mezi prohledávaným vrcholem a koøenem,
-èili do~takového, který se právì nachází na~zásobníku), {\I dopøedné} (vedou do~ji¾ zpracovaného
-vrcholu le¾ícího v~DFS stromu pod aktuálním vrcholem) a zbývající {\I pøíèné} (z~tohoto vrcholu
-do~jiného podstromu).
+èili do~takového, který se právì nachází na~zásobníku, a~v~tomto smìru si je zorientujeme),
+{\I dopøedné} (vedou do~ji¾ zpracovaného vrcholu le¾ícího v~DFS stromu pod aktuálním vrcholem)
+a zbývající {\I pøíèné} (z~tohoto vrcholu do~jiného podstromu).
\s{Lemma:} Prohledáváme-li do~hloubky neorientovaný graf, nevzniknou ¾ádné dopøedné ani
pøíèné hrany.\foot{Pro úplnost: v~orientovaném grafu mohou existovat dopøedné