Weak and global supervenience are equivalent to strong supervenience for intrinsic properties. Moreover, weak and global supervenience relations are always mere parts of a more general underlying strong supervenience relation. Most appeals to global supervenience, though, involve spatio-temporally relational properties; but here too, global and strong supervenience are equivalent. _Functionally_ we can characterize merely weak and global supervenience as follows: for A to supervene on B requires that at all worlds an individual’s A properties be a function of its B properties, where this function varies from world to world. But what are the.