집합론적으로 접근하면 밀도는 같대

어케 생각함