Left-transitively normal subloop

Definition
A subloop $$S$$ of an algebra loop $$L$$ is termed a left-transitively normal subloop if, for any algebra loop $$M$$ containing $$L$$ as a normal subloop, $$S$$ is also a normal subloop of $$L$$.