compact interval

[ریاضیات] فاصله ی فشرده، بازه ی فشرده