A formal construction of a local equation of motion with a Markovian property is an alternative to a reduced derivation. The theory is based on an axiomatic approach. The basic starting point is a completely positive map. The assumption is that the initial system-environment state is uncorrelated ρ ρ ( 0 ) = ρ ρ S ⊗ ⊗ ρ ρ B and the combined dynamics is generated by a unitary operator. Such a map falls under the category of Kraus operator. The most general type of a time-homogeneous master equation with the Markovian property describing non-unitary evolution of the density matrix ρ that is trace-preserving and completely positive for any initial condition is the Gorini–Kossakowski–Sudarshan– Lindblad equation or GKSL equation: