 Subadditivity of information entropy

The chain rule for information entropy and conditioning reduces entropy givewith equality exactly when $X$ and $Y$ are independent.