Un magma (M,*) tiene la propiedad cancelativa izquierda si todo "a" tiene la propiedad cancelativa izquierda, y similares definiciones para