完全関数従属性