Supervening
Supervening is a term used in philosophy and law to describe a dependency relation between levels of description or sets of properties. In philosophy, a property A is said to supervene on a set of properties B if any difference in A requires a difference in B, while two entities sharing the same B-properties cannot differ in A. The phrase historically derives from Latin supervenire, "to come upon" or "to rise on top of."
Philosophical use emphasizes that higher-level properties depend on lower-level ones without necessarily being reducible to them.
In law, supervening (or a supervening event or supervening cause) refers to an event that occurs after
Relation to reduction: supervenience does not require reduction. A can change only if B changes, but A