距離空間(きょりくうかん、''metricspace'')とは、距離関数(きょりかんすう)と呼ばれる非負実数値の二変数関数が与えられている集合の事である.
の二変数