Firð
Firð (e. metric) í stærðfræði er fall , þar sem  er mengi, sem uppfyllir eftirfarandi skilyrði fyrir sérhver .
 .
  ef .
 , þ.e.  er samhverft.
 , þ.e.  uppfyllir þríhyrningsójöfnu.
Tvenndin  er nefnd firðrúm.

Það má ímynda sér að firð sé formleg skilgreining á fjarlægð eða lengd. Við sjáum að við tölum aldrei um neikvæðar fjarlægðir milli staða, þær eru samhverfar (það er jafnlangt frá Reykjavík til Húsavíkur, og frá Húsavík til Reykjavíkur), og uppfylla þríhyrningsójöfnu (að koma við í einhverjum punkti er vissulega ekki styttra en að ganga eftir beinni línu).

Dæmi

 Sú firð sem við notum á rauntalnaásnum er oft kölluð venjulega firðin á ( er  þar sem . Sem dæmi er firðin milli punktanna 3.5 og -2 jöfn . Þegar lengra er haldið er  nefnt -rúm.
 Í tvívíðu rúmi er gjarnan notuð Evklíðska firðin á  og er skilgreind sem  þar sem . Hún er oft táknuð sem . Takið eftir því hvað formúlan svipar til Pýþagórasarreglu - þetta er að sjálfsögðu ekki tilviljun. Tvenndin  er kölluð -rúm
 Einnig er mögulegt að skilgreina firð á strjált mengi, t.d. mætti skilgreina firð á mengi íslenskra orða sem minnsta fjölda eins-stafs breytinga (þ.m.t. viðbætur eða eyðingar) sem þarf til að breyta einu orði í annað. Sem dæmi væri firðin milli Spergilkál og Meginmál 5.

Mengjafræði