Power-associative ring

Definition
A non-associative ring is termed power-associative if it satisfies the following equivalent conditions:


 * 1) The multiplicative magma of the ring is a defining ingredient::power-associative magma.
 * 2) Every element of the ring is contained in an associative subring.