곱집합
에서, 조밀 집합 formula_20들의 곱집합 formula_21은 조밀 집합이다. 따라서, 밀도에 대하여 다음 부등식이 성립한다.