Источник TeX:

P(AB)\leq P(A)