Definisi Bahasa Indonesia

Operasi menentukan perbedaan ELEVASI antara titik-titik di permukaan BUMI; penentuan ELEVASI poin relatif terhadap beberapa tingkat PERMUKAAN alami yang disebut DATUM. Disebut juga leveling diferensial.