Borel-Cantelli önsavı
Olasılık kuramında Borel–Cantelli önsavı ya da Borel–Cantelli önermesi, ölçü kuramıyla elde edilen ve olay dizilerine ilişkin bir sonuçtur. Önerme, Émile Borel ve Francesco Paolo Cantelli'nin adlarını taşımaktadır. (E'n) bir olasılık uzayında dizi olmak üzere, E'nnin olasılıkları toplamı sonlu ise,
\sum_{n=1}^\infty \Pr(E_n)
sonsuz sayıda olayın gerçekleşme olasılığı sıfır olarak hesaplanır.