Значение слова ТРАВЕРТИН в Большом современном толковом словаре русского языка

Что такое ТРАВЕРТИН

м.

Легкая пористая горная порода, образующаяся как отложение известковых минеральных источников и использующаяся в качестве строительного материала; известковый туф.

Большой современный толковый словарь русского языка.