Sense of Direction: Formal Definitions and Properties