subloop

noun1

1. •
   A loop making up part of another loop.

   • In particular, our attention turns to multiplicative loops which have either a normal subloop of positive dimension or which contain a $1$-dimensional compact subgroup. — 2015