In this book the mathematical foundations of quantum theory are developed in a way which is well adapted to the analysis of open quantum mechanical systems. The relatively recent development of non-equilibrium quantum statistical mechanics as a rigorous mathematical discipline, and continuing research into measurement theory, have led to the realisation that there is considerable advantage in laying the foundations of the subject in a more general and flexible manner than was done by von Neumann in the early days of the subject.