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