A Condition for Transitivity in Probabilistic Support