Power-associative loop

Definition
A power-associative loop is an algebra loop satisfying the following equivalent conditions:


 * The subloop generated by any element is a cyclic subgroup, i.e., it is associative.
 * Every element is contained in a subgroup with the same identity element.

Note that this is somewhat stronger than simply being a power-associative magma because we care here about positive and negative powers.