X를 기하공간, E를 X의 부분공간이라고 할 때, 주어진 X가 X에 속하고 주어진 a & gt0(여기서 A는 충분히 작다)이고, X가 반지름이 A인 E를 중심으로 한 열린 공 안에 포함되도록 E에 속하는 E가 존재하면(또는 X에서 E까지의 거리가 A보다 작으면) E는 X에서 밀도라고 합니다.
예를 들어, 유리수 집합 Q가 실수 집합 R에 밀집되어 있는 이유는 Q가 R에 포함되어 있고 R의 어떤 원소라도 그 거리가 충분히 작은 유리수를 찾을 수 있기 때문입니다(주어진 원소가 유리수라면 당연히 어떤 무리수라도 유리수로 근사화할 수 있습니다).