We establish a mathematical framework that formally validates the two-phase “superpopulation viewpoint” proposed by Hartley and Sielken (1975), by defining a product probability space which includes both the design space and the model space. We develop a general methodology that combines...