Es sei I {\displaystyle {}I} eine Indexmenge und A i {\displaystyle {}A_{i}} , i ∈ I {\displaystyle {}i\in I} , eine Familie von Aussagen. Man sagt, dass A i {\displaystyle {}A_{i}} für fast alle i ∈ I {\displaystyle {}i\in I} gilt, wenn die A i {\displaystyle {}A_{i}} allenfalls für endlich viele Indizes nicht gelten.