Theoretical basis of navigation