Para que un conjunto en el que haya una operación sea un grupo deben de cumplirse ciertas condiciones, que son: