Let A be a separable
C∗-algebra which is σ-weakly dense in a von Neumann algebra −ℳ. The equivalence
of the following two statements is proven: (i) ℳ is atomic and A contains all miminal
projections; (ii) A normal state φ of ℳ is faithful if the restriction φ|A of φ to A is
also.