فشردار

{compactum} [ریاضی] یک فضای توپولوژیکی که فشرده و متریک پذیر باشد