som innehåller alla nödvändiga funktioner begränsade till ett förhållandevis litet utrymme
(matematik, om mängd) som för varje öppen övertäckning har en ändlig delövertäckning; om delmängd av de reella eller komplexa talen, eller ett ändligtdimensionellt vektorrum över dessasluten och begränsad