Charlie defines the closure of a subset