 A set* is a set of worlds which contains all twins of its members \((\varnothing\) and \(W\) are then sets*), and a singleton* is a set* whose members are all twins. Notice that all existence-sets, conjunctive existence-sets and disjunctive existence-sets, as well as their complements in \(W\), are sets*.