Formalmente, si "A" es un anillo local con ideal maximal m, y supongamos que m está generado por "a"..., "a", entonces "n" ≥ dim "A", y "A" es regular si y solo si "n" = dim "A".