왜 어떤 metric space가 countable dense subset을 가지고 있으면
\'separable\' 이라고 정의하는 걸까요??
짧게 생각은 해봤지만.. separated set이랑 어떤 연결 고리가 생각나지 않네요.