 One popular answer ties being a law to deductive systems. The idea dates back to Mill (1843, 384), but has been defended in one form or another by Ramsey (1978 [f.p. 1928]), Lewis (1973, 1983, 1986, 1994),  Earman (1984) and Loewer (1996). Deductive systems are individuated by their axioms. The logical consequences of the axioms are the theorems. Some true deductive systems will be stronger than others; some will be simpler than others. These two virtues, strength and simplicity, compete. (It is easy to make a system stronger by sacrificing simplicity: include all the truths as axioms. It is easy to make a system simple by sacrificing strength: have just the axiom that 2 + 2 = 4.) According to Lewis (1973, 73), the laws of nature belong to all the true deductive systems with a best combination of simplicity and strength. So, for example, the thought is that it is a law that all uranium spheres are less than a mile in diameter because it is, arguably, part of the best deductive systems; quantum theory is an excellent theory of our universe and might be part of the best systems, and it is plausible to think that quantum theory plus truths describing the nature of uranium would logically entail that there are no uranium spheres of that size (Loewer 1996, 112). It is doubtful that the generalization that all gold spheres are less than a mile in diameter would be part of the best systems. It could be added as an axiom to any system, but it would bring little or nothing of interest in terms of strength and adding it would sacrifice something in terms of simplicity. (Lewis later made significant revisions to his account in order to address problems involving physical probability (Lewis 1986, 1994).