  Most contemporary discussions of reductive relations between a pair of theories owe considerable debt to the work by Ernest Nagel. In The Structure of Science, Nagel asserts that “[r]eduction … is the explanation of a theory or a set of experimental laws established in one area of inquiry, by a theory usually though not invariably formulated for some other domain.” (Nagel 1961, 338) The general schema here is as follows: 