Given an ergodic measure preserving transformation T on a probability space and a finite partition ζ of that space the limit as n→∞ of 1/n times the information function of the common refinement of ζ, T^-1 ζ, ..., T^-n+1 ζ converges almost everywhere and in the L₁ metric to the entropy of T given ζ.