 If we take the relevant sense of ‘supervene’ to be the one in play in  TSB,  we get something a bit stronger, where the worlds \(w\) and \(w'\) are required to be ones at which the same objects exist and the function \(f\) is required to map every object to itself. 