Transitivity of determination requires that power subset relations compose determinately across dete...