reduit
/ˈrɛdʊɪt/Definitions
1. noun
A place where something is reduced to a smaller size or amount, especially a place where ore is crushed or separated from waste.
“The reduit at the mine helped to separate the valuable ore from the worthless rock.”
2. verb
To reduce something to a smaller size or amount, especially by crushing or separating it from waste.
“The machines at the factory were used to reduit the ore into smaller pieces.”