finished limit points, compact sets