compact topological space

1. redirect compact space

{{Redirect category shell|

{{R from long name}}

}}