0 An idempotent element of a set does not change in value when multiplied by itself. --
Since is idempotent, it maps every node into a standard representative of its equivalence class.
An idempotent in is said to be minimal if it belongs to some minimal ideal.
These are compositional and described by idempotent lax monads.
Since these operators are idempotent, a single application is sufficient to produce a compact representation of the set.
We recall that a closure operator on a partial order is an idempotent, increasing, monotone endofunction.
A deflation may or may not be idempotent.
We will also use the fact that () is idempotent.
With such algorithms, the resulting solution is both unique and idempotent.