Right-transitively normal subloop

Definition
A subloop of an algebra loop is termed a right-transitively normal subloop or a transitively normal subloop if every defining ingredient::normal subloop of the subloop in a normal subloop of the whole loop.