A general term used to describe any of the rough finishes that can be applied to stone.