Retract of a loop

Definition
A subloop $$S$$ of an algebra loop $$L$$ is termed a retract of $$L$$ if there is a homomorphism of loops $$f:L \to S$$ such that $$f(s) = s$$ for all $$s \in S$$.