Estrutura algébrica com uma operação que é associativa e comutativa.