# Commutative 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

A magma $(S,*)$ is termed a commutative magma (or sometimes abelian magma) if it satisfies commutativity, i.e., the following holds:

$x * y = y * x \ \forall \ x,y \in S$.

## Relation with other properties

### Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Flexible magma $x * (y * x) = (x * y) * x$ for all $x,y$ |FULL LIST, MORE INFO