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

{compactly generated space} [ریاضی] فرمول دار