a full subcategory a of a category b is said to be reflective in b if for each b-object "b" there exists an a-object formula_1 and a b-morphism formula_2 such that for each b-morphism formula_3 to an a-object formula_4 there exists a unique a-morphism formula_5 with formula_6.