K-algebra Subalgebra A subalgebra π of a algebra (π, β ) is a vector subspace π βπ that is closed under ( β ), falg i.e. π β π βπ. Specifications Lie subalgebra Unital subalgebra also demands the identity be included tidy | en | SemBr