Expressions avec idempotent Élément idempotent d'un ensemble muni d'une loi interne ⊤, élément de l'ensemble qui vérifie x ⊤ x = x.