Monogenic loop

Definition
A monogenic loop is a loop such that there is a single element of the loop that is not contained in any proper defining ingredient::subloop.

Note that if a monogenic loop is also a power-associative loop, then it must be a cyclic group.