File:Middleassociativitypentagon.png

A diagram depicting the proof that middle-associative elements of magma form submagma.