relatively compact set

[ریاضیات] مجموعه ی نسبی، فشرده