A new theory of quantum subsystems