Referenced by:

• closures-and-completions
• magma-homomorphism
• monoids-n-ways