the formula_17-reflective hull of a class a of objects is defined as the smallest formula_17-reflective subcategory containing a. thus we can speak about reflective hull, epireflective hull, extremal epireflective hull, etc.