¹Technically, this should be defined in terms of indistinguishability of probability ensembles.