A probability rule stating that marginal probabilities equal weighted sums of conditional probabilities across all partitions.