Compact set/Definition