Ergodic component
= Ergodic component
{title2=$\mu_y$}
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.