La og være topologiske rom. Dersom det finnes en homeomorfi , der , sier vi at f er en og at .