subalgebra (algebra + sub-; below_under)
A closed subset of an algebra