Fから導出された関数従属性の全体をF＋と表しFの閉包という