Si (E,∧) est un monoïde associatif, commutatif, de neutre e, on définit le composé fini des éléments d'une partie A={a1,...,an} de E par récurrence de cette façon :

({}) = e
({a1,...,an})=a1∧({a2,...,an})