If we assume that the mapping ρ ρ S ( 0 ) ↦ ↦ ρ ρ S ( t ) is linear and completely positive, then the reduced dynamics can be represented by a quantum operation. This mean we can express it in the operator-sum form