Gitt og vil en mengde funksjonelle avhengigheter som holder i : Tillukninen av i (notert ) er mengden av alle funksjonelle avhengigheter som logisk impliseres av .