 Stinespring dilation

A Stinespring dilation represents a quantum channel by an isometry $V={\sum }_i{K}_i\otimes |i⟩$ followed by tracing out the environment.