Un monoide bajo operación es asociativo para todos sus elementos formula_10 y contiene un elemento formula_11 tal que, para cualquier valor de formula_12, formula_13.