La og være metriske rom med metrikker og henholdsvis. En funksjon er dersom det for alle finnes en slik at for alle med . En funksjon er dersom funksjonen er kontinuerlig i alle punkt i .