There exists a probability space (Ω,M,λ) where Ω=[0,1], M is a σ-algebra on [0,1] and λ is a probability measure s.t. for any J∈M we have λ(J)=length of J.
If A⊆Ω, where P∗(A)=0, then A∈M. For ([0,1],M,λ), a set H∈M has measure zero iff inf{i∑λ(Ai):Ai intervals,∪iAi⊇H}=0
Any countable set H⊆[0,1] has measure zero.