定義
K を単位元をもつ可換環とする。
A を単位元をもつとは限らない K 上の可換代数とする。
I を A のイデアルとする。
A の元 u は A の任意の元 x に対して xu ≡ x (mod I) となるとき
A の I を法とする単位元、または A の mod I の単位元と言う。