This definition implies that the von Neumann entropy of any pure state is zero. If ρ ρ i are states that have support on orthogonal subspaces, then the von Neumann entropy of a convex combination of these states,