فضای فشرده‌مولد

compactly generated space