معمولا تو جبر و توپولوژی "مجموعه چگال یا چگال بودن مجموعه" ترجمه میشه
و تعریف چگال بودن مجموعه نیز این چنین است:
A در X چگال است اگر برای هر نقطهٔ x از X، هر همسایگی از x شامل حداقل یک نقطه از A باشد. به طور معادل، A در X چگال است اگر تنها زیر مجموعهٔ بستهٔ X شامل A، خود X باشد.
به طور مثال اعداد گویا در مجموعه اعداد حقیقی چگال است ولی در مجموعه اعداد گنگ چگال نیست
