kompaktní množina

• компактное множество