Strong Subadditivity Inequality

$$\phi(A)+\phi(B)-\phi(A\cup B)\geq \phi(A\cap B).$$

References

Doob, J. L. ``The Development of Rigor in Mathematical Probability (1900-1950).'' Amer. Math. Monthly 103, 586-595, 1996.