locally closed preserved.