函式依賴集F的閉包F+

被邏輯蘊涵的函式依賴的全體構成的集合，稱為F的閉包(closure),記為F+。