vyhledat jakékoliv slovo, například thot:

metric space není definováno.
Dokážete ho definovat?