Em álgebra abstrata, um monoide é uma estrutura algébrica com uma única operação binária, associativa e com um elemento neutro.