Die Versicherungslibelle (auch Höhenkreislibelle, Koinzidenzlibelle) dient bei älteren Theodoliten zur genauen Ausrichtung des Vertikalkreises (Höhenkreis) nach der Lotrichtung. Ihr Name kommt davon, dass sie einem systematischen Fehler der Höhenmessung vorbeugt.
Sie ist eine Röhrenlibelle, deren Enden zur Erhöhung der Genauigkeit aufeinander gespiegelt werden. Sie wird durch Betätigung eines seitlichen Rändelrades an der Fernrohrstütze eingespielt und verdreht dadurch den Höhenkreis. Bei modernen Theodoliten übernimmt ein automatischer Höhenkompensator diese Funktion.
In beiden Bauarten nennt man den eventuell verbleibenden Restbetrag Indexfehler. Er lässt sich durch Messung in beiden Kreislagen eliminieren.
Siehe auch: Horizontierung, Neigungssensor