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