Ley de Cancelación por la Izquierda

Una propiedad de una operación binaria en una estructura algebraica que dice: para un elemento fijo a, si a · x = a · y entonces x = y; cuando esto se cumple para todo a en un subconjunto dado, se dice que existe cancelación por la izquierda.