non-datur, natural, closure, neighborhood