 If the concept of reduction is an explanatory concept, then a definition of it is either of the form [… because …], or it relevantly involves an analysis of explanatory notions. If it is not, but still is such that the relation is explanatory, then a definition would at least imply the truth of a corresponding explanation.