topological space
preferred label: فضای توپولوژیک @fa
type: Concept
narrower: totally compact space

totally compact space
broader: topological space
preferred label: فضای کلا فشرده @fa
type: Concept