⇒#4677

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