monoid ====== .. automodule:: boring_math.abstract_algebra.algebras.monoid :members: :special-members: