A partial regularity theorem specifies a class of solutions, a notion of regular point, and a bound on the size of the exceptional set of nonregular points. A typical conclusion is Hs(S)=0\mathcal H^s(S)=0, using or, for parabolic equations, . The regular points usually form an .

Meaning of the conclusion

Small measure or dimension of the exceptional set does not imply that it is empty. is a standard example.