A magma is (left and right) alternative if its product satisfies
A nonassociative algebra is alternative if its underlying magma alternative.
In particular, every associative algebra is alternative. The properly nonassociative algebra of octonions is also alternative. The reason is that it is obtained by a doubling procedure from the algebra of quaternions which is associative; and the double of any associative -algebra with involution is alternative.