left-cancellative groupoid

Мат. группоид с левым сокращением, группоид с левым законом сокращения