File:Leftassociativitypentagon.png

A diagram depicting the application of the associativity pentagon to proving that the left-associative elements of magma form submagma, i.e., the left nucleus of a magma is a submagma.