[1019] Der Hauptstein, des -es, plur. die -e, der vornehmste, wichtigste Stein. Unter den Gränzsteinen werden diejenigen, welche man zu Anfange oder Ende des begränzten Stückes, oder auch an die Ecken desselben setzet, Hauptsteine genannt; im Gegensatze der Laufer oder Läufer.