Given a probability space and a sequence of events $(A_{n})_{n\ge 1}$, we write $A_{n}\searrow A$ to mean that $$A_{1}\supseteq A_{2}\supseteq\dots \supseteq A_{n}\supseteq\dots$$i.e. that $A_{n}$ are decreasing events.