Definition:Almost All/Set Theory/Countable
Jump to navigation
Jump to search
Definition
Let $S$ be a countably infinite set.
Let $P: S \to \set {\text {true}, \text {false} }$ be a property of $S$ such that:
- $\set {s \in S: \neg \map P s}$
is finite.
Then $P$ holds for almost all of the elements of $S$.