をとったとき、任意の ε>0に対して|x-y|<ε となるy∈mkが存在することを、