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