فشردار

یک فضای توپولوژیکی که فشرده و متریک‌پذیر باشد