Click on Open covers and compact sets: Definition to open the resource.