There also exists an infinite-dimensional algebraic generalization of Choi's theorem, known as "Belavkin's Radon-Nikodym theorem for completely positive maps", which defines a density operator as a "Radon–Nikodym derivative" of a quantum channel with respect to a dominating completely positive map (reference channel). It is used for defining the relative fidelities and mutual informations for quantum channels.