precompact

[ریاضیات] پیش فشرده