En matemática, un elemento "a" en un magma (M,*) tiene la propiedad cancelativa izquierda si para todo "b" y todo "c" en "M", "a"*"b" = "a"*"c" implica "b" = "c".