semimetric space

generalization of metric spaces that do not require triangle inequality