فرهنگستان زبان و ادب {relatively compact set} [ریاضی] زیرمجموعه ای از یک فضای توپولوژیکی که بستار آن فشرده باشد