A conditional probability of an invariant probability measure given its invariant sigma-algebra. In a standard Borel probability system, almost every such probability is invariant and ergodic. Their integral recovers the original measure. The countable-test proof of ergodicity of conditional components explains why invariance alone is not the whole conclusion.
New to topics? Read the docs here!