Right inverse property loop

Definition
An algebra loop $$(L,*)$$ is termed a right inverse property loop or right inverse loop or RIP-loop if there exists a map $$\rho:L \to L$$ such that, for all $$a,b \in L$$, we have:

$$\! (a * b) * \rho(b) = a$$