Die Dirichlet-Funktion ist doch in jedem Punkt unstetig, d.h. die Menge ihrer Unstetigkeitsstellen ist ein kompaktes Intervall [a,b] (worauf du sie halt definieren willst). [a,b] ist keine Lebesgue Nullmenge, also ist die Funktion nicht fast überall stetig.
Außerdem ist die Dirichlet-Funktion nicht Riemann-integrierbar.
Also passt doch alles?
Es gilt zwar stets
X abzählbar \(\implies \) X Lebesgue Nullmenge.
Für überabzählbare Mengen (also zB Intervalle) kann man keine derartig triviale Folgerung treffen.