[1]
[[関数従属性]]の[[集合]][CODE(math)@en[[VAR[F]]]]に対して、
[CODE(math)@en[[VAR[F]]]]から[[導出]]されるすべての[[関数従属性]]の[[集合]][CODE(math)@en[[VAR[F[SUP[+]]]]]]を[CODE(math)@en[[VAR[F]]]]の[DFN[[RUBYB[閉包]@en[closure]]]]といいます。