推移関数従属