Subnormal subloop

Definition
A subloop $$S$$ of a loop $$L$$ is termed a subnormal subloop if there exists an ascending chain of subloops:

$$S = A_0 \le A_1 \le \dots \le A_n = L$$

such that each $$A_i$$ is a normal subloop of $$A_{i+1}$$.