サードの定理(サードのていり、英: Sard's theorem)、サードの補題、モース・サードの定理は解析学の定理で、「ユークリッド空間(または多様体)から他のユークリッド空間(または多様体)への滑らかな関数 f について、f の臨界点全体の f による像は、ルベーグ測度が 0 である(つまり、零集合である)」ことを言うものである。ルベーグ測度が 0 であるというのは、そのような点が「ほとんどない」ということである。 具体的には以下の通りである(Sternberg (1964, Theorem II.3.1)、Sard (1942))。 「関数 f : Rn → RmはCk級で(つまり、f はk回連続微分可能で)、k は k ≧ max { n - m + 1, 1} をみたすとする。また、f の臨界点(つまり、Rn上の点 x のうち、点 x における f のヤコビアンの階数が m より