“…(1) There exists a family of sets (M α ) α∈κ satisfying conditions (Ra)-(Rd) of [CCS,Proposition 17] and for each α ∈ κ, there exists the canonical retraction r α : K → K associated to M α , K and D(s). Moreover, conditions (R1)-(R10) of [CCS,Proposition 17] are satisfied.…”