kompaktna množica -- množica, pri kateri za vsako odprto pokritje obstaja končno podpokritje.