lupa

lupa,

mat. grupoid, w którym jest jednoznacznie określone działanie odwrotne do danego i który zawiera element neutralny (quasi-grupa z jedynką);

jeśli dodatkowo działanie spełnia warunek łączności, l. jest grupą.