Referenced by:

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