 Entropy of a finite measurable partition

For a finite measurable partition $\xi$, its entropy iswith $0\log 0=0$.