Un elemento "a" en (M,*) tiene la propiedad cancelativa bilátera (o es cancelativa) si tiene las propiedades cancelativas izquierda y derecha.