 In Section 4.3.3, we saw that weak and strong individual supervenience are equivalent to strong global supervenience in the special case in which the base set B is closed under certain property forming operations.  And in 4.3.4, we saw that weak and strong individual supervenience, and weak, intermediate, and strong global supervenience are all equivalent in the special case in which A and B are sets of intrinsic properties. The upshot is that strong global and strong individual supervenience come apart “only when extrinsic properties are present in the supervenient set but disallowed from the subvenient base,” as Kim and others predicted (Section 4.3.1).  See Shagrir 2009 for discussion of the case of relations.