Argues that a set is the mereological whole of the singleton sets of its members (following Lewis's Parts of Classes), and that the singleton set of X is the state of affairs of X's having some unit-making property.