Subalgebra
= Subalgebra
A <linear subspace> of an <algebra over a field> closed under multiplication is a subalgebra. If a unital subalgebra is intended, it must also contain the ambient identity. A closed subalgebra of a normed algebra is closed in the <norm topology>.