さらに細かく、"m" の任意の元 "a" に対して、 "a" ∗ "e" ＝ "a" を満たすときに右単位元といい、"e" ∗ "a" ＝ "a" を満たすときに左単位元という。