A small hole or the act of boring; may also refer to boring dust or small particles created by drilling.
Variant or diminutive form related to 'bore' (Old Dutch 'boor', originally meaning auger or drill). The term appears in technical and historical texts describing woodworking and drilling activities.
The word 'borel' connects to the fascinating Borel measure in mathematics—named after mathematician Émile Borel—showing how the same root word can spawn technical terminology in completely different fields.
Complete word intelligence in one call. Free tier — 50 lookups/day.