The property that probabilistic estimates satisfy basic mathematical identities like the law of total probability.