refiner

plural refiners

1. One who, or that which, refines.

   The average motorist will not see much, if any, difference in gasoline pump price but oil producers and Gulf Coast refiners expect profits to improve.

   2012 May 19, Bruce Nichols, “Seaway pipeline sends oil to Texas in historic reversal”, in Reuters

   1 more example

   You can think of a search refiner as a filter. Your search for a broad topic might return hundreds of possible results. The refiner allows you to filter this information down based on the configured criteria.

   2016, Rosemarie Withee, Ken Withee, Jennifer Reed, Office 365 For Dummies, page 101