 The most prominent candidates are theories. On the classical interpretation, theories are sets of sentences. This suggests a specific view on the reductive link: The reduction-relation is instantiated when the reduced theory is syntactically derivable from the reducing theory, with the help of bridge-laws. We thus get the following definition where x is the theory being reduced, y is the reducing theory and z is a set of bridge laws.