Trace-Preserving Conditional Expectation onto a Von Neumann Subalgebra