Ta poder-se calificar como un grupo, lo conchunto y a operación (G, •), han de satisfer quatre requisitos conoixitos como los axiomas de grupo: ﻿L'orden en que se fa la operación de grupo puet estar significativo.