We have seen, in Section 2.5, how the superposition principle leads to the existence of entangled states of two or more quantum systems. Such states are characterized by the existence of correlations between the systems, the form of which cannot be satisfactorily accounted for by any classical theory. These have played a central role in the development of quantum theory since early in its development, starting with the famous paradox or dilemma of Einstein, Podolsky, and Rosen (EPR). No less disturbing than the EPR dilemma is the problem of Schrödinger’s cat, an example of the apparent absurdity of following entanglement into the macroscopic world. It was Schrödinger who gave us the name entanglement; he emphasized its fundamental significance when he wrote, ‘I would call this not one but the characteristic trait of quantum mechanics, the one that enforces the entire departure from classical thought’. The EPR dilemma represents a profound challenge to classical reasoning in that it seems to present a conflict between the ideas of the reality of physical properties and the locality imposed by the finite velocity of light. This challenge and the developments that followed have served to refine the concept of entanglement and will be described in the first section of this chapter. We start by recalling that a state of two quantum systems is entangled if its density operator cannot be written as a product of density operators for the two systems, or as a probability-weighted sum of such products. For pure states, the condition for entanglement can be stated more simply: a pure state of two quantum systems is not entangled only if the state vector can be written as a product of state vectors for the two systems. In the discipline of quantum information, entanglement is viewed as a resource to be exploited. We shall find, both here and in the subsequent chapters, that our subject owes much of its distinctive flavour to the utilization of entanglement.