left-residuated groupoid

Мат. группоид с левым делением