関数従属性の閉包