If T is a measure preserving transformation on a probability space and Ξ is a finite partition of the space, the entropy of T given Ξ is the limit as n → ∞ of 1/n times the entropy of the partition which is the common refinement of Ξ, T ^-1Ξ, ..., T ^-n+1Ξ.