topologically closed