Referenced by:

• algebra-associativity
• algebra-monoids-alt
• algebra-structure
• algebra-unital
• closed-under
• closure
• closures-and-completions
• distributive-laws-conceptualization
• group-subjects
• groups-cayleys-thm
• groups-commutative-group
• groups-group
• idempotent
• lang
• logic-definable
• logic-types
• magma
• min-max-im-im-al-um
• modular-arithmetic
• monoid
• monoids-alt-old
• sets-rank
• ucb-settheory-09
• uniformity
• why-is-inheritance-bad
• with-respect-to