근데 countable dense subset이 존재하는걸 왜 separable이라고부름?;;