"Reduction" - expresses the idea that if an entity x reduces to an entity y then y is in a sense prior to x.