semicomplete semimetric space