local compactness

[ریاضیات] فشردگی موضعی