「冪等」の版間の差分

を満たすとき（"*" に関して）'''冪等'''（べきとう、{{lang|en|idempotent}}）であるという。特に、任意の[[単位元|中立元]]は冪等である。''S'' の全ての元が冪等である場合には、その二項演算 "*" は冪等（演算）であるという。例えば、集合の[[和合併 (集合論)|結び]]と[[共通部分 (数学)|交わり]]はどちらも冪等演算である。