Aniqlang 
 sifatida 2 o'lchovli metrik bo'shliq ning doimiy egrilik 
. Masalan, 
 bo'ladi Evklid samolyoti, 
 ning yuzasi birlik sharva 
 bo'ladi giperbolik tekislik.
Ruxsat bering 
 bo'lishi a metrik bo'shliq. Ruxsat bering 
 bo'lishi a uchburchak yilda 
, tepaliklar bilan 
, 
 va 
. A taqqoslash uchburchagi 
 yilda 
 uchun 
 ning uchburchagi 
 tepaliklar bilan 
, 
 va 
 shu kabi 
, 
 va 
.
Bunday uchburchak noyobdir izometriya. 
The ichki burchak ning 
 da 
 deyiladi taqqoslash burchagi o'rtasida 
 va 
 da 
. Bu aniq belgilangan 
 va 
 ikkalasi ham ajralib turadi 
.
Adabiyotlar