Por lo tanto, un grupo está formado por un conjunto de elementos abstractos o símbolos, y por una ley de composición interna (operación binaria) que los relaciona.