⇒#4677

元

集合の要素のこと。単位元、逆元などがあります。