som innehåller alla nödvändiga funktioner begränsade till ett förhållandevis litet utrymme
(topologi) 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 dessa sluten och begränsad