subloop

A loop making up part of another loop.

Noun

  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, Giovanni Falcone, Ágota Figula, Karl...

Origin

From sub- + loop.

Forms

subloops