函數相依偽傳遞法則