This paper sets out some new skeleton mathematically-couched models for dealing with supervenience in some, if not all, its many guises. Our models are based around a naïve invocation of a ‘topology’ induced on object sets by property sets. We have two aims: one is to provide an overview of supervenience with enough rigour and detail to act as a self-contained introduction to the subject; and the other is to set out our new approach—but without getting too bogged down in excessive mathematical, or indeed philosophical, niceties—so that it can be used as a foundation for further work. Throughout we have scattered examples and comments to help clarify the points we make. The early sections use our topological approach to recast what appears elsewhere in the literature. And in the latter sections of the paper, we introduce some new ideas and techniques which help in exploring the general structures underpinning supervenience.