Definition:Almost All/Set Theory

Also defined as
Some sources do not distinguish between $S$ being a countably infinite and an uncountably infinite set, and merely state that $P$ holds for almost all elements of $S$ if $\left\{ {s \in S: \neg P \left({s}\right)}\right\}$ is finite.