Do you know measure theory? It gives you a formal definition of "almost all" or "almost surely" based on subsets which have the same measure as the full set they're in. Like the irrational numbers between 0 and 1.