A fixed-point theorem for face maps, or deletion-tolerant random finite sets | Synapse