Un elemento "a" en (M,*) tiene la propiedad cancelativa derecha si para todo "b" y todo "c" en "M", "b"*"a" = "c"*"a" implica "b" = "c".