実数の完備性は距離を使って公理化されますが、それを必ずしも
距離空間ではない位相空間に一般化するとどうなるの？