sözcük ara, mesela porb:

metric space henüz tanımlanmamış.
Sen tanımlamak ister misin?