ドーナツベクトル空間
体$ Kにドーナツ体$ \Bbb Dを採用した線型空間
これにDonut距離を埋め込んだものをDonut距離空間と呼ぶ