Functoriality and product-preservation of reflective subuniverses