Locally compact

I think it is something like "an open subset of a compact space".