On appelle fermeture transitive F+ d'un ensemble F de DFE, l'ensemble de toutes les DFE qui peuvent être composées par transitivité à partir des DFE de F.
Soit l'ensemble F = {A→B, B→C, B→D, A→E}.
La fermeture transitive de F est F+ = { A→B, B→C, B→D, A→E, A→C, A→D }