File:Rightassociativitypentagon.png

A diagram depicting the proof of right-associative elements of magma form submagma, using the associativity pentagon.