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