推移的関数従属性