Talk:Hereditary C*-subalgebra