hereditary c-star-subalgebra