David Lewis, in his 1986 book On the Plurality of Worlds, argues that properties are sets. Any property should be taken as “the set of all its instances — all of them, this- and other-worldly alike. Thus the property of being a donkey comes out as the set of all donkeys, the donkeys of other…