zbiór gęsty

Zbiór gęsty – zbiór, którego domknięcie jest całą przestrzenią. Równoważnie, zbiór jest gęsty, jeżeli ma z każdym niepustym zbiorem otwartym co najmniej jeden punkt wspólny. W przestrzeni metrycznej zbiór nazywamy gęstym jeśli dla każdego i liczby istnieje element taki, że tzn. dowolnie blisko każdego elementu znajduje się jakiś element z Przestrzeń topologiczną, która zawiera przeliczalny zbiór gęsty nazywa się przestrzenią ośrodkową. W przestrzeni topologicznej jej podzbiór nazywamy zbiorem nigdziegęstym, jeśli nie jest gęsty w żadnym niepustym zbiorze otwartym.