A magma is called equidecomposable when the operation is injective, or, in other words, if x+y=x′+y′ implies that x=x′ and y=y′. A magma is free iff it is equidecomposable and graded, hence the notion ...