- By definition, the subalgebra generated by the zero element is the
- one-dimensional algebra generated by the identity element::
+ By definition, the subalgebra generated by the zero element is
+ the one-dimensional algebra generated by the identity
+ element... unless the original algebra was trivial, in which
+ case the subalgebra is trivial too::