Fermeture transitive des DFE

DéfinitionFermeture transitive

On appelle fermeture transitive F+ d'un ensemble F de DFE[1], l'ensemble de toutes les DFE qui peuvent être composées par transitivité à partir des DFE de F.

Exemple

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 }