Zurek has defined einselection as follows: " Decoherence leads to einselection when the states of the environment | ϵ ϵ i ⟩ ⟩ corresponding to different pointer states become orthogonal: ⟨ ⟨ ϵ ϵ i | ϵ ϵ j ⟩ ⟩ = δ δ i j ",