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 $\set {s \in S: \neg \map P s}$ is finite.