距離 きょり空間 くうかんであれば
kyorikūkandeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 距離空間

1. If it is a distance space; When it is a distance space

Ba Conditional
Mathematics