Formalmente si "E" y "E" son dos espacios métricos una isometría φ viene definida por lo siguiente: