Algunas propiedades son generales de operaciones, neutros e inversos, pero las repetiremos aquí tanto por completitud como por lo que la estructura de grupo agrega.