Theorems on sets not belonging to algebras

Let A₁,…, A_n, A_n+1 be a finite sequence of algebras of sets given on a set X, (Formula Presented), with more than (Formula Presented) pairwise disjoint sets not belonging to A_n+1. It has been shown in the author's previous articles that in this case (Formula Presented). Let us consider, instead of A_n+1, a finite sequence of algebras A_n+1,…, A_n+l. It turns out that if for each natural i ≤ l there exist no less than (Formula Presented) pairwise disjoint sets not belonging to A_n+i, then (Formula Presented). Besides this result, the article contains: an essentially important theorem on a countable sequence of almost σ-algebras (the concept of almost σ-algebra was introduced by the author in 1999), a theorem on a family of algebras of arbitrary cardinality (the proof of this theorem is based on the beautiful idea of Halmos and Vaughan from their proof of the theorem on systems of distinct representatives), a new upper estimate of the function v(n) that was introduced by the author in 2002, and other new results.