Definition:Entropy (Probability Theory)