Left inverse property loop

This article defines a property that can be evaluated for a loop.
View other properties of loops

Definition

A loop $(L,*)$ is termed a left-inverse property loop or LIP-loop or left-inverse loop if there exists a bijection $\lambda :L\to L$ such that:

$\!\lambda (a)*(a*b)=b\ \forall \ a\in L$