 Kim (1988) has formulated a weak and strong version of multiple domain supervenience. Let D1 and D2 be non-empty domains of individuals, R be a relation between D1 and D2, and R|x be the subset of D2 to which x is R-related. We can define the following notions: