Idempotent magma

This article defines a property that can be evaluated for a magma, and is invariant under isomorphisms of magmas.
View other such properties

Definition

An idempotent magma is defined as a magma $(S,*)$ such that $x*x=x$ for all $x\in S$.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Band	an idempotent semigroup
Idempotent quasigroup