Kolmogorov-Sinai generator theorem

For an invertible probability measure-preserving system with a finite or countable finite-entropy generating measurable partition $\xi$, $h_{\mu }(T)=h_{\mu }(T,\xi )$. For a noninvertible system the same conclusion holds for a finite-entropy one-sided generator. The finite-entropy hypothesis is part of this form of the theorem.