Developing and motivating the notion of supervenience. Investigating the relationship to reducibility and definability (equivalence, under certain conditions), and to microphysical determination.