We provide a mathematical analysis of the Dynamical Mean-Field Theory (DMFT), a celebrated representative of a class of approximations in quantum mechanics known as embedding methods. Within the simplest setting of this approximation, which we introduce briefl... ...