Superweniencja i nieredukowalność
Relacją, która zapewnia nieredukowalność jest relacja superweniencji globalnej, odróżniana od superweniencji lokalnej. Superweniencja lokalna obowiązuje dla indywiduów - indywidua identyczne pod względem własności subwenientnych będą identyczne również pod względem własności superwenientnych. Superweniecja globalna zachodzi, gdy światy nieodróżnialne pod względem własności subwenientnych, są nieodróznialne pod względem własności superwenientnych i światy zgodne pod względem prawd zakładających własności subwenientne są zgodne pod względem prawd zakładających własności superwenientne - obowiązuje dla całych światów, wziętych globalnie jako porównywane jednostki. Połączenie globalnej superweniencji ze słabą kowariancją mogłoby dać relację superweniencji, która nie pociąga za sobą redukcji, jednak superweniencja globalna nie implikuje słabej kowariancji i może zachodzić tam, gdzie nie zachodzi słaba kowariancja. A supereniecja globalna bez słabej kowariancji dopuszcza istnienie w świecie aktualnym duplikatów fizycznych całkowicie odmiennych pod względem mentalnym.