[15] Mauersteine, alle Arten Steine, welche zum Aufführen der Mauern gebraucht werden. Sie sind[15] entweder Bruchsteine (natürliche M.), Granit- u. Sandsteine, Tuffstein u. Nagelfluhe, auch Feld- (Kugel-) steine (Findlinge); od. Ziegel (künstliche M.), als Lehm-, Ziegel- u. Pisésteine. Hohle M. dienen zur Dachdeckung, indem man einen Bogen von solchen Steinen als Decke über das Gebäude wirft.