High Quality Content by WIKIPEDIA articles! In philosophy, supervenience is a kind of dependency relationship, typically held to obtain between sets of properties. According to one standard definition, a set of properties A supervenes on a set of properties B, if and only if any two objects x and y which share all properties in B (are "B-indiscernible") must also share all properties in A (are "A-indiscernible"). That is, A-properties supervene on B-properties if being B-indiscernible implies being A-indiscernible. The properties in B are called the base properties (or sometimes subjacent or subvenient properties), and the properties in A are called the supervenient properties. Equivalently, if two things differ in their supervenient properties then they must differ in their base properties.