+\input{mjo-common}
+
+
+% The (sub)algebra generated by its argument, a subset of some ambient
+% algebra. By definition this is the smallest subalgebra (of the
+% ambient one) containing that set.
+\newcommand*{\alg}[1]{\operatorname{alg}\of{{#1}}}
+\ifdefined\newglossaryentry
+ \newglossaryentry{alg}{
+ name={\ensuremath{\alg{X}}},
+ description={the (sub)algebra generated by $X$},
+ sort=a
+ }
+\fi
+
+