 One important structural distinction concerns whether a thesis makes claims about the properties of individuals (individual supervenience theses), or is cast in terms of the character of whole possible worlds (global supervenience theses). The ethical properties globally supervene on the base properties just in case: