Description: A Hilbert-space-valued state is zero at the zero subspace. (Contributed by NM, 30-Jun-2006) (New usage is discouraged.)