idempotence nom féminin Propriété d'une loi de composition ⊤ telle que, pour tout élément x de l'ensemble sur lequel elle est définie, on ait x ⊤ x = x.