Subconjunto de un grupo C que posee a su vez estructura de grupo con la misma operación que en C.