可逆元
数学、とくに代数学における可逆元（かぎゃくげん、）または単元（たんげん、）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。