Linke Kürzungsregel

Eine Eigenschaft einer binären Operation in einer algebraischen Struktur, die besagt: Für ein festes Element a gilt: wenn a · x = a · y, dann x = y; gilt dies für alle a in einer angegebenen Teilmenge, sagt man, Linksannullierung gilt dort.