In this paper, we present an extension of the Borel–Cantelli lemma for double arrays
of dependent events. From our main result, we obtain Theorem 2.1 of Petrov [Statistics
and Probability Letters, 2002] and the Borel–Cantelli lemma for double arrays of pairwise independent events as special cases.