(A,·) es un monoide con 1 como elemento neutro; es decir: